Key Generation -- ML-DSA-44
seed: 6CAE2E9C2CF64D2686C31C2118E0F24A47DD46DB85590910AAC9DF4C1B854E44
rho: C8BEADEDC6DBA5BF3BECA52C67CEAFB4F3EBF84190B2CFA6BCA132883129A28B
rhoPrime: 11779B16A7054953860C14796F63018C9EFD3957CC53A12AF727A5AFC64507445D9EA5E19B6403B3DD3ABAD9B1DAD1146E9C64410E372E7A6D9973F0D04D9632
k: B149C045A55EADA0C519069A8EE0602FBEDA8D2EDFEA09CAE01D542D47DCBA1E

aHat: [[[4518441, 4610216, 2805006, 6522567, 958931, 2266298, 7298857, 6160680, 4376220, 5886423, 2456656, 7246256, 4825911, 4337879, 2286865, 4975700, 7723526, 6630454, 2204799, 6974152, 3641877, 2682186, 3758592, 330607, 1959748, 3746432, 7597266, 4910389, 641899, 1715509, 4016248, 7983993, 461860, 1925060, 5588342, 6865940, 801570, 1437121, 2888995, 4630526, 7744414, 3207892, 3168892, 3304860, 2869380, 1589994, 6622481, 2993789, 239572, 1127468, 4289687, 3743089, 8306066, 670866, 224252, 2668871, 4766662, 6351470, 107841, 4351591, 6149703, 4029424, 2974292, 2952371, 2390000, 3452883, 5520752, 8045611, 3071748, 6918874, 1598525, 5839685, 2588194, 1661639, 8283367, 451132, 2401602, 4482892, 1648467, 3766818, 5943364, 2607508, 1396017, 354778, 7392330, 3426517, 2252104, 7582171, 7041680, 8254132, 4837419, 3427646, 5648239, 1340483, 2106014, 5619971, 8047549, 1766861, 4997094, 2655087, 1833901, 6496344, 1627718, 5577072, 1614037, 8275918, 3612158, 4023975, 2857599, 2705923, 4976039, 1646530, 3668470, 7279361, 1139314, 6200673, 6509985, 7634125, 751210, 1686515, 3632581, 6879928, 6710111, 5998910, 3641475, 7918054, 7161821, 781378, 7072756, 406340, 6364143, 3877989, 5757571, 4960393, 978980, 3293448, 8071153, 3426539, 2209015, 5829651, 6805842, 2205790, 4854682, 5689645, 4011852, 672630, 617486, 7641292, 4172951, 552101, 4850266, 2002565, 4698909, 668414, 2894419, 5170042, 6623145, 4969904, 5081850, 3046208, 2744487, 6937629, 4859523, 7875762, 2030321, 5614884, 6294169, 6123973, 7804743, 3650248, 6927979, 1296021, 325849, 7021109, 4763099, 5292228, 5427774, 6977480, 8119876, 376758, 1371392, 5321018, 3940066, 7227323, 1881381, 2508237, 1826744, 6054373, 1469672, 2013638, 2815608, 5224298, 3744517, 2208767, 3195006, 5346041, 3555416, 2810011, 5767192, 1992423, 1996425, 673727, 3820400, 2603024, 1265806, 4105841, 5709176, 1701301, 1257375, 2322551, 2282344, 6197550, 4919774, 1715437, 2310440, 4139096, 2777066, 4690551, 4375746, 1204776, 4339181, 492762, 6285749, 5544359, 2609114, 7793257, 5522279, 6469830, 6966070, 7131876, 1192681, 3121188, 3585363, 1109594, 544971, 1239128, 2606639, 383455, 4553205, 7290844, 5113828, 6265912, 5040919, 2360841, 5979830, 2226344, 5995031, 1428977, 6093613, 3906579, 6105434, 6821401, 454876, 4358818, 2011397, 3753793],
[1518172, 2060152, 4749985, 6513620, 2245042, 7549147, 2532897, 6922184, 1547706, 7925910, 4641118, 6372818, 5442868, 3048857, 7986176, 21420, 5056353, 6891298, 4542399, 7076213, 6275361, 8208180, 154945, 1948346, 3284898, 4989897, 7108808, 7056573, 6885085, 571778, 4065644, 2685766, 8155194, 541203, 5470838, 1472371, 2416151, 7749407, 8064363, 7548353, 4712156, 6871549, 8036386, 6504374, 3864765, 8053363, 8318453, 125969, 1939728, 632034, 2998769, 436571, 5781522, 2508874, 801728, 4798344, 1008085, 1423633, 1265200, 5674908, 7925025, 6212469, 673086, 8105049, 5030459, 7006432, 5881726, 158417, 7556353, 5968301, 973369, 527641, 3238686, 4879338, 610039, 4739629, 7852300, 5153192, 5167041, 1339561, 549682, 1776472, 270443, 7329846, 2925703, 51375, 3372021, 4292891, 8137765, 6613054, 6358921, 6961144, 1627786, 1999316, 225990, 1011796, 1146585, 2475820, 2057713, 970282, 5258000, 7836558, 3749162, 5684970, 2554920, 3989052, 3989309, 818669, 355042, 7609968, 3599884, 8237170, 4479000, 5550720, 1990775, 713096, 4937363, 3958646, 4051217, 4966364, 6410537, 7346515, 3787148, 1435141, 406867, 1274391, 4801696, 5836062, 5288721, 4747517, 640604, 4391898, 2414827, 3432201, 333532, 235219, 450266, 1274021, 2323020, 7881933, 2990152, 4693110, 1709601, 6672812, 465669, 2288253, 7720032, 1857528, 3611405, 8306302, 881492, 2094316, 3495978, 3387236, 4248594, 5144503, 2136154, 1923534, 6312530, 8023281, 1784993, 1014235, 2591079, 7276663, 4964399, 5833711, 5882067, 6787296, 1007764, 5428257, 1054806, 1862149, 5925847, 4453996, 1583669, 4383789, 4034600, 8279879, 3014613, 7745916, 5572748, 4191518, 124358, 5330651, 5649969, 5220517, 1969915, 5773922, 2155348, 7028310, 5826040, 5432945, 2178759, 1591689, 2687555, 1233601, 5835556, 4766760, 4122842, 7080329, 8233748, 2915448, 5224484, 7189786, 3972229, 8371705, 4438065, 6082193, 5771723, 3819276, 2996234, 3370235, 7895249, 3379379, 8105675, 1685296, 3453709, 6974001, 3392577, 5323805, 6564006, 2922350, 5250917, 4816644, 6745278, 6692013, 54937, 7819808, 1099662, 6594866, 2579133, 8127228, 7500445, 1077904, 1666808, 1627578, 7121000, 5726282, 2747483, 7782887, 6902073, 1423073, 3162770, 197711, 4261107, 7234872, 8079119, 7069423, 6875165, 2517374, 3357707, 5793532, 1574278, 5929221, 6438097, 1301156],
[5580016, 7782159, 4916820, 3492846, 1528232, 8008932, 7778144, 980016, 3083229, 8050068, 4533047, 3121986, 1216278, 1788935, 5913428, 2162915, 6613702, 7187741, 6399716, 649528, 544655, 6984351, 124762, 7905385, 4802618, 5676543, 978087, 7760525, 2252449, 5178828, 4024996, 7488399, 5945620, 3516586, 6926424, 851414, 1905338, 7805119, 7215103, 1367698, 7005025, 6583705, 2678247, 4431560, 3621123, 714899, 5589627, 3661459, 6251607, 7180144, 2041125, 8123654, 4508779, 1642245, 535598, 5791575, 3243986, 288972, 1258976, 6162954, 2678852, 3362489, 6783099, 2673543, 7949924, 7158207, 555311, 523584, 7898033, 5007402, 7048741, 1089711, 1038614, 8049732, 7151128, 5877201, 4199472, 3234224, 305330, 3409089, 7529662, 7093835, 7058243, 3103514, 8257718, 3430935, 2214545, 4830751, 7647853, 2548093, 1567164, 3347946, 4184655, 7725624, 1151396, 4558452, 3438973, 5913013, 6490784, 1816083, 1235129, 7714209, 7318389, 2443984, 4543605, 4550342, 6260869, 2009870, 3798982, 3596706, 2082602, 7487515, 5877287, 6535731, 2245110, 7979759, 1505718, 4801130, 19098, 4411481, 1436961, 2033515, 2267667, 8058670, 1073955, 6357383, 709520, 6872430, 4721983, 5360679, 3873632, 6149355, 7363592, 2845178, 2562854, 5496102, 2909217, 373723, 7138856, 613927, 2858137, 3130330, 7503022, 3222249, 5958159, 3619194, 3427195, 826897, 3613603, 3023499, 2513752, 262049, 7209308, 4572034, 5715316, 6851643, 4058379, 6356935, 1440714, 514135, 6906799, 6402882, 2558726, 3237259, 4465496, 1881604, 3392275, 459158, 4799953, 7181344, 6262321, 6085045, 3935786, 4292640, 3016549, 5513699, 5488484, 4269176, 3290063, 234979, 7209054, 5142806, 7101425, 8084356, 8369708, 6975023, 6467417, 7551178, 2509660, 2220413, 1744880, 8330255, 7740428, 5818101, 2958695, 8293183, 1703104, 5170863, 694158, 5810297, 6807628, 8124310, 6290425, 5997606, 5608879, 1296268, 7237136, 1822457, 4493472, 8255348, 5378147, 898876, 6900344, 1881619, 4712423, 2014144, 946306, 5177584, 3172773, 5441677, 7194832, 5233822, 6188125, 3818815, 2986839, 2891747, 3238179, 2665510, 4670825, 4431218, 2558983, 5303695, 5335001, 7211671, 1324392, 4155560, 1238623, 352487, 3111224, 8046879, 11016, 2642804, 8031881, 470499, 866313, 5069481, 2873574, 667775, 6897652, 3681050, 3265012, 1011725, 2310395, 6794032, 8221903, 5058927],
[3867698, 3883645, 7640217, 1653450, 7082472, 1447081, 7250588, 6581285, 294533, 5402653, 604135, 2911419, 6568667, 5301208, 4153480, 7717253, 3503939, 7212932, 5358805, 431999, 8123001, 3575610, 2966989, 6920466, 4811686, 5262876, 5878254, 1228969, 4668617, 136369, 4564256, 674798, 7403258, 3103734, 1902817, 3507509, 5780034, 5794528, 8343498, 6855770, 3314569, 7117130, 6455227, 493097, 2127494, 3351787, 248360, 6445957, 6449069, 7360619, 2832685, 2737524, 444922, 789268, 1785731, 5519708, 6852687, 3463042, 1363515, 4846634, 6309176, 7758177, 7140078, 4999039, 4168434, 4845481, 8376655, 1222988, 2220523, 814073, 7350739, 929651, 3207340, 2209495, 1801246, 6842001, 8161678, 2392071, 7100808, 8165593, 1266683, 26287, 1077846, 6835607, 7718291, 1416286, 2269897, 4921558, 485785, 3315594, 611576, 7989995, 987839, 6167298, 6411012, 248289, 833830, 7731057, 4594799, 7648777, 4674945, 2441770, 3659260, 7949656, 4424607, 5983814, 1014632, 49698, 619222, 7934754, 5933766, 5439181, 4175593, 76864, 1817838, 3352907, 7096503, 3873149, 6979849, 6868478, 6423983, 323477, 4902231, 4095937, 2776794, 8135714, 3564606, 1815038, 3363841, 7009231, 4599109, 6499403, 5401067, 7297969, 5973110, 4103010, 4954796, 2097084, 7347436, 4889534, 4262124, 4235038, 4932033, 6632728, 4928069, 1837592, 1352565, 4928866, 5553589, 5194490, 1822136, 2656487, 4329299, 4852935, 6044336, 6789270, 2636592, 284470, 6095094, 3148181, 7193700, 8039321, 7114030, 5318912, 3813707, 2312678, 2590242, 1964027, 2520436, 1472838, 1543667, 3889347, 535775, 274776, 4927494, 5500148, 2398943, 5789622, 947547, 1550227, 6740223, 1409204, 3434700, 3849397, 3814243, 646926, 111329, 6875554, 864036, 1432465, 1482868, 1986078, 63247, 4160214, 7392191, 4363968, 3335444, 5539216, 749669, 3060665, 3020591, 3514511, 3972481, 5352850, 6653620, 571371, 6913910, 5560871, 824977, 4712403, 1862050, 3251723, 467235, 6107009, 7570225, 7137228, 2567958, 174754, 1671568, 6781061, 6536043, 1474348, 203283, 1929596, 4268021, 7324374, 6864285, 2320114, 5894602, 486347, 849717, 7946989, 195446, 1212363, 8181349, 6223219, 4117548, 7261111, 7958608, 7723700, 6973511, 5142677, 3569022, 7339732, 4492625, 7723827, 7375389, 2086411, 181908, 396347, 2726536, 4452170, 5837876, 8377072, 5627687, 1379342]],
[[1279303, 2532728, 3723926, 1729839, 3554515, 7192021, 7349548, 488026, 4908512, 4753212, 2935848, 582517, 8226312, 3995094, 3902326, 5741747, 4972919, 4115615, 3317175, 6834082, 7323460, 573427, 117906, 2680762, 3977869, 6802298, 4350808, 7476367, 692851, 7212430, 7247385, 2513003, 1258295, 3256675, 5405716, 2036577, 4278264, 3388709, 953424, 6452628, 2700855, 8220831, 5011710, 8208478, 4352772, 2928017, 4393396, 2168691, 623598, 3328599, 3998364, 534668, 6148112, 3227690, 4861477, 8283266, 586852, 4073984, 6884509, 2169099, 1569696, 4711636, 7913079, 7454742, 211250, 3592870, 2498642, 513598, 3282434, 6651101, 4122429, 7450059, 2729210, 4272498, 2079560, 4592438, 1901429, 1893014, 6617247, 894772, 1128794, 5516347, 6371640, 7871953, 1496239, 5869781, 206873, 2188900, 7149361, 7023493, 6337361, 1758757, 3851211, 2092765, 8218384, 5907086, 5536899, 4082483, 2130791, 5057091, 2006344, 4039813, 8107433, 1668350, 5283839, 3606048, 5272715, 2397565, 5007287, 3790945, 8115279, 4020548, 7556076, 3942239, 3524809, 2994266, 6884771, 1077683, 1996486, 6978119, 5971665, 2606909, 6787740, 3383593, 7450843, 7584824, 8105951, 1401479, 5181903, 2690540, 523297, 3321928, 1367725, 3543984, 1555558, 6823124, 1831065, 1243203, 6990122, 4631942, 787269, 5553480, 693494, 1444751, 3485719, 7485710, 7420792, 7104326, 4283267, 1843580, 4260034, 1873542, 426165, 401486, 6589358, 3880011, 2032423, 2121508, 1916138, 4758351, 4401552, 5779887, 2860436, 6593863, 5081695, 4202248, 5069924, 2398934, 5506877, 8137104, 4429075, 6598969, 3964736, 555130, 3539468, 5937585, 1170550, 827954, 7297302, 7923441, 3067402, 943901, 1557953, 1934928, 2733436, 490124, 6849329, 8150031, 2303296, 1599065, 2537381, 333500, 862886, 8055632, 3540201, 1032498, 4792804, 6054459, 522909, 3185613, 464367, 1863182, 3295536, 4103063, 7423023, 5385995, 2775855, 3199389, 892455, 5296759, 849365, 5139235, 2008389, 2911983, 6241941, 1238812, 6174687, 2982094, 1113422, 938783, 7059221, 1734800, 4016617, 2292347, 5311484, 2543992, 299568, 2472565, 1310012, 4427750, 1680141, 4739129, 1351576, 6281068, 2885304, 561892, 3275418, 1798270, 1556508, 7335164, 454592, 1481328, 7120546, 4556406, 3425680, 2524385, 2696744, 8182132, 6449102, 2413664, 5718114, 521636, 1155506, 460943, 8092747, 1833977],
[2588787, 7264972, 1949825, 6006983, 4106024, 65365, 8042118, 4118970, 7298493, 5150193, 3503187, 6298208, 7082413, 6628507, 875436, 2772530, 1406536, 2280872, 2828381, 954090, 2076839, 5050897, 4475769, 2225131, 7118120, 7733023, 5380256, 7923294, 2471163, 5656587, 5229877, 1349453, 5489004, 7160049, 8092605, 1728427, 2175550, 635825, 897094, 3815049, 3282124, 2029619, 5550263, 4936206, 4294227, 6979739, 655083, 35701, 7380879, 3080743, 6423293, 7548297, 8229387, 1780180, 5014966, 6949210, 6671373, 4066690, 1277373, 3977637, 2320299, 3833464, 2158176, 7612292, 5098910, 642704, 6354228, 6855810, 1257984, 656182, 4155134, 7657851, 6786028, 4163551, 3658918, 696975, 3176269, 3299909, 589382, 5413667, 7564428, 7624131, 7752638, 2730219, 419268, 3892274, 714867, 1416747, 4555948, 3951837, 1909180, 6148843, 2626201, 5092443, 1473012, 5642995, 4211814, 6216758, 5798255, 2972642, 6069745, 7531656, 5510550, 2303940, 5456128, 560229, 6324598, 6728416, 2485231, 5553409, 105343, 6016571, 6462957, 3308595, 3153700, 2592460, 4215420, 600521, 3123877, 2644776, 1046855, 6048332, 7014019, 7269070, 1643295, 235324, 5040734, 5633949, 2855572, 7599411, 4989659, 6649349, 3749099, 6717074, 764211, 982726, 6822644, 2333790, 4353857, 1220958, 975158, 1154488, 4638406, 5038614, 2667522, 3507565, 5427602, 5555482, 934836, 1027744, 4011580, 3871212, 5853435, 7102778, 1196843, 6813958, 2825362, 99776, 1284806, 289769, 3318585, 2705395, 8308591, 107187, 1389506, 1431304, 4774512, 2847857, 7358547, 1558739, 7365439, 6194242, 1911145, 2891273, 1316031, 3360773, 1403043, 30324, 1698587, 3761446, 385509, 1858284, 705870, 8258769, 377990, 1898545, 894576, 3557282, 4629897, 5833132, 2586828, 4798068, 5611442, 6511628, 6884634, 1493708, 6048510, 8221241, 6021553, 5248480, 5765260, 5721630, 5661859, 4085633, 3348565, 1999214, 1958294, 6872939, 3567283, 534321, 5312654, 4153388, 5093992, 6454300, 7952066, 467209, 2177999, 5440902, 4520149, 6811250, 7364753, 2178359, 7325634, 6880754, 1405754, 7492063, 4465431, 5877044, 6364516, 4337892, 2462302, 6913486, 2440627, 409901, 5659563, 1559745, 8193169, 1215069, 2166309, 232782, 8196663, 1987072, 7793561, 7802230, 1949546, 6091111, 162868, 8220543, 5975956, 2171296, 1492660, 7845511, 3236095, 966714, 3316883, 2131015],
[7214090, 1245002, 5091873, 3288262, 5791684, 3803755, 1182560, 491901, 8125913, 8076680, 5245769, 261418, 5214617, 1778846, 4876381, 7795651, 7190721, 5880649, 4408791, 2467023, 3574516, 1248173, 7761758, 2235975, 4374782, 1626661, 3978887, 837583, 5235745, 1599171, 4722125, 8036000, 2714503, 7942919, 6652999, 1026397, 1043823, 379474, 8252447, 6841482, 6076136, 7991346, 2205377, 87069, 3074605, 2717905, 5328781, 3968095, 903688, 506337, 7220319, 5755646, 448503, 2644949, 831389, 357262, 538889, 4163796, 6057964, 1294134, 2663052, 4076289, 5586600, 1396275, 4705160, 7053357, 2883964, 406345, 1374354, 4332948, 1029004, 279419, 6636542, 4529366, 2351108, 4409698, 1338142, 5908375, 6384170, 4842362, 544686, 8234323, 4616269, 627864, 1631970, 5736636, 3659316, 6468911, 8344375, 5961775, 594709, 2850593, 6324275, 5042376, 1075204, 6152354, 6431084, 5546271, 7674344, 2823850, 1584983, 5034374, 8117886, 568783, 4611894, 39963, 983742, 1684251, 2643291, 3825305, 6225251, 2028326, 2009291, 7273081, 5679386, 544533, 7520328, 2101684, 2813660, 7336240, 7345845, 1093431, 6453688, 4827055, 409973, 1987340, 3579976, 5385536, 5829031, 4751524, 7257923, 3104015, 5510642, 8373776, 6078296, 519100, 2906332, 4401342, 1856885, 3005697, 5404444, 2558656, 2944819, 7349099, 2382031, 3211224, 8312742, 8103659, 8062449, 7392699, 3818121, 4225616, 6928598, 7109620, 4627220, 5284981, 1272140, 8073111, 135960, 2650625, 1533684, 1127131, 1898644, 247448, 5408073, 3682733, 5494057, 1767908, 6580607, 6935412, 1880523, 7293620, 6258505, 6978421, 3991535, 3556132, 576859, 5736265, 6633259, 884, 7605607, 4004045, 523198, 3396954, 6941056, 8112620, 1708240, 414090, 5260636, 3779436, 3580935, 3547923, 3238368, 1750330, 2693699, 769137, 4105604, 2851917, 5412669, 4823799, 4087508, 5916080, 2233153, 8094207, 5453445, 2431140, 7991852, 238306, 2267382, 252683, 6856823, 6552092, 4407510, 5917084, 1708488, 3967746, 814512, 4347019, 4287715, 4242787, 7485937, 1663006, 3581033, 5766274, 6649947, 2339668, 6884550, 6910508, 3669313, 5580577, 3551337, 5757673, 158343, 4404680, 5102557, 7042148, 2222677, 1398435, 6502015, 7121462, 1120694, 7500838, 3547108, 7722409, 8172842, 4078832, 7432114, 5607647, 2406552, 3823941, 5704073, 119155, 4984839, 6996480, 8222205, 678670],
[1502785, 581000, 1879879, 3156914, 1881, 5520763, 5935759, 6693937, 3320379, 537813, 3615546, 5159640, 8378114, 7826275, 4223748, 1036709, 4188652, 1484384, 5837742, 1356604, 7125068, 2395989, 1330893, 2911668, 1939147, 4710718, 1719727, 8071301, 5634364, 545563, 654278, 3304318, 4969457, 5539370, 2303242, 4995627, 4465753, 8245885, 6763821, 6734333, 3898452, 3722998, 1299712, 6769049, 1377368, 2908214, 4567604, 421417, 6262335, 2350617, 33592, 6581823, 7307321, 1202346, 8201474, 976710, 4506529, 6166292, 7327699, 807370, 3100909, 2687642, 1616262, 6499341, 2856549, 418495, 1508468, 2333450, 1800626, 8181786, 5911687, 2107476, 4333817, 4213541, 4063539, 6735982, 2820646, 6389940, 1158843, 4515074, 244540, 7813631, 1184677, 810509, 2194550, 8007913, 658508, 4985024, 1092544, 467220, 6540210, 7811261, 5855992, 6679079, 5671171, 6307749, 8189132, 7587409, 4129306, 1248229, 1951351, 528847, 1847435, 5277341, 3056245, 3383891, 46623, 4076284, 3481972, 7861379, 3161346, 3301328, 3963460, 648312, 5207105, 4952087, 564963, 5425267, 6659913, 8355131, 5399906, 4927795, 7431636, 2815882, 2538145, 5339797, 6863498, 4815843, 7963571, 390704, 4657086, 3257065, 2450447, 4756488, 260609, 4908346, 6471042, 6821104, 365682, 3167001, 7436986, 3754100, 8014606, 3653522, 5691317, 7225196, 703841, 4991615, 5060750, 4802316, 5669898, 2923891, 4096639, 2876583, 6916570, 1295212, 7070463, 3815406, 5593591, 307863, 7887401, 1195013, 2062930, 6493420, 7162249, 6165917, 1633371, 1155848, 4102687, 2595361, 1594031, 699359, 6340600, 6346037, 1394702, 6598893, 3450996, 1217433, 3986188, 7739076, 2918353, 3715297, 6796746, 2035447, 2314395, 5986496, 7940579, 996360, 7374792, 7397647, 4571139, 1824594, 8208877, 5912141, 1557570, 6492115, 1435560, 7362202, 495028, 1608298, 7712470, 5007077, 6445561, 8007526, 1229785, 5782624, 3752609, 6294465, 1219456, 4207775, 6782427, 5431652, 5014733, 6303859, 747560, 6130760, 742958, 1446765, 1441348, 5942755, 7017974, 5377921, 437429, 3479341, 118404, 6745093, 3385406, 4169486, 6915264, 2014287, 313377, 1266882, 4414167, 2092747, 3487847, 2727246, 5453665, 7929258, 3767661, 3543330, 1351459, 278072, 1017968, 1030806, 5304879, 679742, 2719859, 5557184, 3672367, 4095138, 7136369, 3378300, 7895056, 1112543, 5904443, 1202903]],
[[2404918, 276932, 3882934, 6309816, 7054, 1227527, 6032464, 1468902, 1006551, 7960608, 2274509, 6217106, 2692912, 3723609, 7365367, 479793, 8275436, 1223182, 7857245, 1698505, 4382472, 1020689, 4187499, 7730791, 1141069, 4064588, 2100349, 2608143, 5621896, 135891, 4094687, 5270722, 4117897, 6779221, 4130188, 2188880, 7309237, 8142312, 3208894, 2447742, 2444463, 5923969, 4340653, 4451352, 3157937, 4105317, 2036212, 5601367, 7290177, 7253956, 18454, 7080442, 3041740, 4371122, 1237977, 1371602, 5955693, 277450, 542356, 6950067, 4990246, 3317434, 1480980, 7103270, 4294298, 1195832, 415981, 2970518, 7707786, 6928318, 7251838, 7642040, 7660974, 3743720, 7290830, 5954427, 4780109, 964684, 7684066, 6979418, 1725456, 7383614, 2856087, 626237, 6401866, 3106189, 1444619, 4347453, 2951395, 1373500, 3207489, 3054027, 4187665, 2217116, 4606640, 2937783, 2753791, 4969896, 2478917, 4230228, 3142542, 4154066, 2249014, 6111716, 5250896, 1649030, 2616659, 1579147, 3229291, 5686831, 4078876, 6995665, 2846322, 6486235, 1936229, 7277093, 800481, 2388028, 5232539, 572028, 3408175, 8106863, 4771058, 1731325, 1791876, 4076429, 4431610, 5208613, 276462, 6781837, 4529871, 7045443, 1788896, 6958841, 2990803, 6754275, 3238036, 5448829, 8193306, 2476490, 1640507, 5280259, 2520904, 5198571, 5162632, 6571150, 6202832, 984789, 7199638, 4531630, 3170130, 859036, 7942670, 7980584, 492489, 4227106, 5311994, 2661568, 7654661, 2514672, 1704729, 928536, 5911230, 6845108, 6008402, 2655746, 4421201, 8287461, 5671446, 3330378, 1554315, 4185797, 8269183, 8361400, 2645345, 3545311, 4207346, 4376263, 44161, 509423, 881404, 2027491, 4801259, 2053698, 2445544, 5595661, 8015735, 3821274, 4795254, 2597044, 1703431, 523947, 4878164, 2948061, 6164412, 5935226, 6292998, 322269, 3877967, 6201686, 7083060, 4610491, 2591483, 8323966, 8210203, 6008787, 459729, 6682324, 54016, 5495567, 2341092, 2863364, 2469355, 7398004, 8181252, 63214, 4482387, 6869539, 7865106, 8298372, 3045726, 5956776, 3350095, 2414255, 1007141, 4612954, 3193628, 7229815, 7941391, 7818244, 6249602, 1134627, 1155382, 3806264, 6043308, 3861063, 4125831, 7150584, 2662306, 3134283, 5882310, 7954242, 2696106, 1531245, 6441348, 5025275, 993951, 8310223, 5200671, 1404277, 6774394, 6970434, 7466655, 2065592, 3474453, 6088781],
[693190, 1361324, 7727759, 1970984, 6574841, 5428942, 6405128, 7678800, 803027, 5292092, 7678200, 2171904, 4578474, 116086, 5949644, 7854469, 4486967, 6189516, 8037897, 190272, 4338939, 3526540, 2879168, 6535121, 868861, 3614109, 5851122, 809245, 3172146, 5334031, 2779523, 337330, 6244908, 5824737, 2773828, 1261154, 7470403, 5320506, 3732204, 4315046, 3837757, 969234, 5396148, 4315988, 332850, 2345289, 2541008, 3119173, 1261821, 1033729, 4386047, 2127580, 5228707, 5131727, 6255688, 1845701, 2725457, 560492, 4391584, 5155992, 5563458, 6850300, 6916701, 1405351, 3465283, 5372839, 3137242, 4568056, 6528909, 5493622, 1513135, 3042164, 2338753, 1956182, 8172059, 5768417, 4205354, 282772, 2589352, 7115443, 3974986, 8100327, 3241822, 443132, 5961877, 4984198, 245231, 3578585, 3576186, 2463032, 5524928, 7950739, 2614044, 5048629, 6849381, 8110943, 2554144, 7896925, 7009014, 3680131, 1146379, 2262467, 7222102, 6010112, 3567221, 5989929, 4466557, 6213649, 5578746, 3919629, 1591954, 1672284, 7951015, 2011223, 4394647, 3681219, 4046387, 1122127, 6995689, 4115547, 3486871, 5559996, 7016542, 5185015, 4138064, 4418241, 6454394, 6757035, 8012689, 1783927, 8157596, 45041, 8092587, 2470080, 7185169, 8317186, 1773582, 7845756, 4742896, 3108596, 5807894, 3636438, 2633279, 3089498, 1259630, 5404158, 7523232, 6382223, 5726497, 2198256, 7175573, 7590947, 6960575, 5319174, 3436716, 566892, 411351, 2744838, 6251469, 7524716, 686571, 8029625, 5579022, 1853509, 1066438, 5953627, 6174703, 1477997, 2578358, 4267691, 1066977, 2814682, 2229131, 6223372, 678095, 6556461, 8002646, 1003093, 7473557, 4645612, 2586747, 3919328, 5937281, 6870125, 3445412, 5786669, 1455705, 5885834, 3273128, 6923558, 1845642, 7740846, 1354208, 6535242, 4306761, 48780, 2305909, 6171013, 3181982, 4011679, 2923333, 7914097, 2329686, 1922218, 7603714, 2493637, 7762006, 7385885, 7628070, 5389856, 4157813, 7746219, 4536210, 5503325, 3034993, 941457, 2345223, 4856719, 1439570, 6246479, 759606, 6602955, 5781037, 5404049, 2339107, 6317760, 6516372, 2266187, 1041332, 3797342, 7626320, 6944604, 8123476, 8050895, 1147683, 3258224, 3535601, 2484659, 209440, 7068358, 4970998, 866248, 8117128, 2482345, 2352048, 5322014, 824820, 4752577, 849390, 1432826, 1130729, 169765, 7920358, 4450407, 6641840, 6176528],
[7312216, 779896, 2063100, 2626307, 113765, 2660404, 5929719, 639671, 4486125, 7505161, 3557068, 3961934, 3889306, 5903614, 4669780, 3123630, 4197544, 635814, 7701796, 2359696, 6854366, 6229635, 4784683, 239568, 479175, 2104853, 1396955, 2203805, 4558511, 647737, 7987135, 3209153, 8281079, 6540443, 8248882, 1482326, 5887339, 259681, 159989, 2310553, 3329609, 5679840, 6023629, 4496991, 3429663, 4063270, 6657076, 7482065, 4391535, 696832, 2866708, 4883516, 7916041, 3033765, 5673338, 4913378, 7804184, 6662795, 4598281, 6064331, 630175, 2233938, 7914047, 4283458, 4253688, 5327841, 3592582, 5344832, 1151693, 7603432, 3925031, 2193557, 2174267, 8173986, 7447582, 2925498, 7327635, 7672205, 2581250, 6237118, 2972818, 1404298, 6592867, 3545527, 5447734, 8186271, 3445122, 1277089, 6547218, 5031239, 7745109, 6935811, 8006482, 2210686, 246778, 4428898, 4343029, 415501, 7904272, 978164, 255568, 6374957, 5789812, 7041591, 6515334, 6788081, 7618211, 4963012, 323170, 611857, 5273777, 4903229, 6731920, 428412, 3992136, 691353, 6575120, 2248642, 4825680, 4526726, 4127444, 6061438, 3304649, 4612242, 2725296, 3114125, 4397194, 1092739, 8162970, 7769125, 7808259, 3278989, 5995383, 6276587, 2727229, 7163774, 7412419, 5696460, 8165463, 3186393, 2398123, 1302525, 4106632, 2465301, 4087308, 2394718, 557157, 4811562, 4480504, 4504800, 5632014, 4097984, 4498638, 3597303, 6478980, 1550286, 7668897, 296776, 4433133, 5419330, 7424148, 3902819, 4064440, 5024723, 785701, 8345980, 1456362, 3222982, 8002975, 297381, 6194682, 5811299, 4869584, 1250891, 1428092, 1854047, 3056635, 4229045, 2431615, 7045505, 206352, 5432465, 1009988, 110, 6225272, 964878, 6345997, 6848714, 4698291, 7007322, 6258933, 4098716, 7176292, 7590976, 6438244, 6457630, 391110, 359845, 5119649, 1858632, 8115938, 3054259, 6012581, 4448016, 6792916, 1401512, 1938527, 6982560, 3116142, 7760458, 5565554, 2920048, 7348697, 1908832, 758977, 7851218, 6584745, 5318671, 992796, 3653043, 6659111, 4527057, 595830, 2707998, 4657398, 2054082, 692515, 3577784, 6355980, 2554996, 2530985, 1675947, 7109321, 5034422, 2771451, 6292098, 601358, 931391, 3400188, 7208107, 4702570, 3464873, 3500337, 6880386, 6686795, 7057403, 6010082, 150408, 6011018, 1263009, 1551712, 2248193, 1177138, 4274837, 5576282, 7330853],
[5053121, 7113161, 8075856, 4167528, 3962210, 5505083, 2796737, 4967776, 2306280, 5546792, 2245077, 1129294, 1964533, 3418665, 3511436, 8207089, 2810020, 4388346, 1411686, 4853493, 327938, 7637758, 7560222, 5238956, 1778815, 6129527, 6177635, 3452768, 5295532, 8021070, 1706652, 3739501, 3145917, 5839037, 5599134, 3081251, 2772458, 7977709, 5134985, 2507338, 2332534, 2569773, 331459, 3371897, 3221114, 195644, 550863, 1681486, 5059769, 586938, 1108857, 2900477, 4446757, 1539910, 6350051, 770954, 3570979, 2387478, 8096619, 2734668, 702551, 633689, 758025, 2364495, 3957274, 7406722, 2797219, 7029565, 7991452, 764245, 1595294, 7921833, 5991981, 8218968, 621124, 5737525, 4837685, 2455209, 4514442, 1936167, 5692592, 1221236, 2267334, 2687325, 2840651, 1515157, 1845797, 1897198, 4926292, 8030343, 7509627, 5246153, 3989494, 7241730, 3118087, 8072141, 6044673, 6523822, 7082361, 4111590, 3396837, 4113521, 7911901, 3201742, 5769722, 4130087, 4639559, 3675432, 7530660, 4855053, 354, 4501909, 6180067, 4897693, 8224838, 5167137, 7687644, 1235701, 5771096, 3404054, 5753519, 383198, 5872232, 1948807, 3083525, 8104652, 7284239, 4906245, 3128685, 4067292, 7122, 989376, 5573652, 5950796, 6945281, 384627, 7355365, 7757148, 2442962, 6667045, 4274814, 3372859, 3977532, 5931239, 4726461, 7746291, 5745573, 4316024, 7726951, 4981744, 785671, 4959451, 7653107, 22380, 1289175, 6403709, 7231033, 5463892, 8104869, 2541338, 2288040, 4057059, 4961008, 2100467, 2984322, 736030, 1218345, 6994080, 6189742, 4213330, 6738712, 1496909, 979234, 5239844, 5180599, 417385, 3791658, 3641082, 7989596, 1964599, 4986514, 3255786, 94642, 1903907, 6835331, 8070542, 6391182, 3542224, 303226, 176878, 2988048, 1091003, 4813143, 8064394, 6374449, 4394761, 6252684, 1880120, 8019341, 7308861, 7013053, 5352621, 1241279, 1037965, 2985476, 2925196, 4340053, 7102167, 6532306, 6852547, 4323909, 1563722, 586450, 5973773, 607003, 1126586, 6999294, 7335884, 1119994, 4818376, 6264692, 2748165, 2923740, 4301253, 3502805, 1676677, 6283617, 3642267, 1194169, 3132115, 7024173, 7611267, 59918, 3567656, 6098403, 5507452, 3061729, 1892859, 4402578, 6470247, 8127388, 3951037, 1482816, 2038659, 4254688, 7785673, 8213130, 7448512, 8240705, 8178839, 3350255, 8043978, 5109954, 361166, 6331899, 6456125]],
[[8083583, 3829710, 4605090, 5594754, 3627807, 5380754, 6806165, 770598, 3986640, 7635515, 5405099, 2939507, 6176056, 5874875, 3050712, 2456835, 6040581, 918818, 1541763, 3527058, 6747497, 6680706, 2784782, 5338300, 5859035, 7861767, 5226208, 3646731, 2218415, 6777641, 3231279, 8089193, 2178602, 7352675, 8063521, 165409, 441802, 3532451, 2613031, 5788169, 3006463, 6034609, 1001381, 958354, 1255337, 972768, 5808421, 1532766, 343788, 6756310, 1635683, 4670195, 5004542, 4592303, 5349095, 1285586, 3770574, 8052986, 6648749, 7563122, 3582203, 5071876, 627014, 1066212, 2783078, 7530243, 673350, 3415794, 2304320, 61299, 3550745, 4385362, 8288515, 7029031, 7135897, 4346516, 5589622, 3994416, 821603, 97113, 4581136, 1609172, 1347491, 4617698, 1082075, 2579610, 5386582, 6940164, 476513, 4322096, 6561422, 8219390, 4255989, 7812840, 5376072, 6698656, 5848557, 7902483, 5226871, 775683, 5307299, 5739756, 3050838, 5095521, 5621441, 6041779, 5805538, 6559790, 4189853, 5779003, 3049125, 7525742, 2320349, 1696816, 7920223, 5919733, 5017285, 553575, 131679, 4422676, 7164224, 2658873, 6089695, 6922988, 758027, 6510045, 8040002, 1381866, 5063180, 2601947, 4144146, 1374267, 8288919, 586314, 7441113, 1287378, 5462646, 5658937, 4284260, 4653572, 8063585, 6354293, 7593945, 5454366, 2611916, 510348, 2359458, 820976, 8337310, 3100210, 355101, 757901, 5283304, 7474986, 4096366, 5529677, 5709894, 664473, 6374713, 5533511, 344196, 8240797, 2338959, 5959194, 5611329, 4732139, 2457133, 154121, 1030519, 2167510, 1031979, 8372840, 4393587, 4484784, 6594928, 964770, 4985949, 4123609, 1239689, 4823883, 4774558, 633791, 5078423, 29259, 7245694, 657847, 6328017, 4870886, 785978, 2440597, 5421803, 6593890, 7548395, 1499676, 4214453, 2989860, 3499875, 3194605, 7561819, 2100019, 7946911, 4331233, 5556846, 5016598, 5370252, 7576719, 1403288, 5522006, 486574, 6818497, 552158, 1663226, 3611901, 8108953, 7371325, 2968884, 2397774, 1701035, 6544439, 2640284, 2792045, 3251781, 1735899, 7122846, 5466290, 4090216, 2994553, 3904379, 6057140, 2200799, 2631972, 3825961, 6981918, 4757714, 3856461, 6599790, 2294283, 1228402, 4193039, 8232376, 6341481, 7657431, 3676721, 7676424, 5424772, 1319610, 2013683, 3086216, 3689587, 7478360, 374908, 8180582, 5272359, 2284128, 903495, 5779499],
[5225355, 3636085, 6264034, 4804566, 1436962, 4576464, 7345998, 2774594, 1298527, 6241183, 6452112, 187476, 4626517, 6625557, 6117743, 6996883, 7546288, 1645702, 5143135, 5781126, 3313530, 6198350, 1071644, 1606743, 2030585, 2793394, 6437354, 6815069, 365786, 912402, 2807180, 2444846, 4207302, 5682515, 3324528, 250138, 2241677, 2778633, 8187203, 5125080, 3685097, 6842468, 237575, 8277760, 5985038, 2182313, 3513126, 1558495, 1690723, 984433, 3065390, 834325, 3900087, 1220339, 8027192, 7827501, 5712377, 2309316, 7618569, 4667917, 209111, 547671, 2990894, 3029875, 3840480, 6234876, 6480262, 1616142, 3134535, 3219630, 5903603, 7724765, 4615016, 5343619, 4522733, 5695734, 4291086, 911497, 3378050, 5356362, 5920416, 6821882, 1303450, 289612, 1555202, 1050374, 985790, 2737361, 5747509, 5535358, 3900404, 6544391, 5064737, 6671371, 3953175, 211361, 7527848, 6249726, 7148351, 7859904, 751071, 370454, 4613019, 2094402, 3571025, 1485717, 3892850, 1000587, 3278578, 5518440, 2984482, 1988260, 2351049, 5780817, 2929124, 6025521, 5084991, 2432110, 1449094, 5949310, 1807630, 7614877, 2703509, 4930137, 8302121, 747394, 2700056, 4536986, 3004349, 645733, 1288299, 7899319, 4109700, 4260048, 6648121, 6234741, 7985892, 5415175, 2044539, 489102, 1650901, 599336, 7307686, 6971641, 2703366, 2714248, 6999091, 4062573, 5545722, 2514055, 572633, 262522, 6472981, 265927, 2333781, 5041919, 1757128, 2481415, 3044811, 6589382, 3793092, 535524, 8186782, 4168229, 4318436, 5949493, 1084649, 5152536, 6411003, 5507716, 5974543, 4173381, 3423803, 5184262, 6028781, 3119267, 1283937, 4269048, 3859755, 586742, 312849, 2977024, 3898483, 4595251, 5801076, 2286770, 7623905, 1931066, 4964292, 3168799, 4770064, 28804, 7315918, 7671593, 4423708, 4057181, 2078662, 6503625, 1152746, 791986, 6442096, 4333331, 5487539, 7718371, 1605053, 6395432, 284042, 5604759, 5887185, 2682932, 230814, 1253929, 6667400, 58175, 1946573, 8362101, 4601871, 4184777, 6572308, 423782, 6737961, 800386, 5423496, 5877781, 6739683, 6528507, 4496177, 2531393, 8095426, 7580028, 5380411, 5751984, 1228410, 6040280, 5230298, 2296028, 6362081, 671020, 5034343, 3130863, 4908217, 2360897, 361744, 2833225, 335952, 6760196, 2544094, 4654514, 4339287, 216508, 4532246, 1377143, 5431824, 1775666, 5169329, 7061706],
[1465241, 4597311, 4033004, 7584645, 4594230, 4330242, 6022842, 5220659, 1647018, 7693321, 6223896, 8022657, 5312843, 5162426, 1117933, 5704909, 3493111, 2599624, 4480078, 3295852, 5624992, 4594863, 8230150, 974360, 8015534, 1995426, 1505614, 2589524, 6523951, 105287, 2469411, 5678031, 2781466, 672652, 3955923, 3139639, 1067095, 782352, 1266575, 8132925, 5250378, 475689, 2848663, 1913665, 3923580, 8007784, 836532, 6475242, 3831088, 5251180, 2549448, 4934936, 7247629, 7843280, 5784618, 8263811, 470896, 4553059, 8222955, 2275616, 5423534, 7309517, 7722118, 7437545, 3726263, 516684, 3556441, 122422, 4223007, 4526597, 8191165, 4952207, 6684892, 2832200, 2956491, 2754815, 6384374, 3919934, 3156562, 6215647, 3648719, 4165962, 1049908, 3191371, 2463831, 5021312, 7163765, 983969, 1359389, 2807336, 7439773, 2846933, 210226, 8149774, 1224069, 1900516, 4082063, 2663906, 6731764, 5006256, 4843786, 131139, 8271247, 411094, 2141873, 2355696, 6482312, 6826733, 2872902, 3860070, 3892877, 8149564, 4072039, 5062393, 8369491, 971439, 1355257, 8067320, 7536078, 3362841, 3945360, 7922609, 1038076, 4585186, 3835586, 5543012, 6313539, 226082, 4435081, 7352070, 2398569, 4482981, 8347431, 4711297, 3545174, 3952417, 3522452, 2721926, 1584094, 4567039, 7180922, 5968668, 170613, 5490782, 6119679, 6045696, 2205548, 3234941, 4903033, 1332410, 4235969, 3064915, 7897050, 7239215, 5369900, 6142596, 491818, 6707112, 3706937, 1255157, 2476220, 2893221, 6604928, 3139627, 1718334, 8313885, 6429985, 862562, 7612735, 748282, 7973838, 1279466, 4372463, 6621194, 2670786, 2233196, 4755001, 607504, 4944429, 1107232, 6199537, 1132528, 1155726, 3575983, 4717358, 481821, 2023359, 8243902, 3685018, 3121498, 2360585, 7742988, 7887096, 5218910, 6415040, 4448412, 7883474, 2480538, 900303, 2700253, 3998553, 3887133, 5620654, 156068, 8183022, 2015316, 4731305, 7852980, 1498502, 5796115, 8102492, 4636472, 2433034, 6167914, 7685033, 6093632, 3155651, 2892040, 2321847, 2887011, 2143816, 6791238, 2373275, 2685789, 3050458, 8245498, 4366677, 331700, 781321, 4332612, 6332567, 351154, 7260785, 6092982, 901299, 2942274, 7153861, 8323324, 4735868, 900965, 6039242, 5662516, 6090297, 926985, 8256193, 4086608, 1786977, 1185340, 4049740, 355908, 1897329, 3716753, 1180520, 2162734, 4781944, 2114859],
[8338083, 4172559, 2550928, 1858116, 1603331, 4131505, 2410053, 6945245, 898089, 3000517, 836782, 3521873, 334161, 4235527, 2384101, 1220958, 3847163, 7230856, 669901, 1440757, 151879, 4242253, 183867, 3910486, 4970837, 1623134, 2920090, 6959202, 1373651, 5985685, 2220843, 8133725, 3326927, 35825, 627425, 6193505, 848088, 6885358, 5019375, 6403478, 8117835, 3528005, 4492911, 542425, 6167725, 8252674, 727831, 78912, 2053472, 1324828, 3598492, 6634512, 2417142, 3252452, 1458450, 1726049, 6248714, 7476988, 1995347, 1881935, 6808933, 3156255, 278053, 5826239, 5483659, 687474, 7957086, 5692599, 697569, 5874222, 5427099, 5240244, 7630248, 4203622, 3959272, 6988683, 5388598, 1456552, 5082875, 1365122, 4007360, 3921703, 775627, 7806091, 7888629, 6044033, 7169982, 3780967, 6439875, 1443136, 2913909, 4218596, 7179240, 6260750, 3975141, 7419390, 53458, 3522404, 7994183, 6411437, 2748132, 6625626, 4463553, 4256789, 6310680, 2080141, 4510977, 5855328, 539537, 7967406, 7562182, 335787, 5357214, 92049, 7763723, 2267335, 6296010, 2065654, 5704841, 469102, 3763995, 6398911, 8308380, 3362687, 493320, 3950692, 7590853, 1475516, 5875077, 201774, 599891, 139368, 6305444, 4973939, 3295421, 5608627, 4844526, 558116, 814564, 5061749, 7036311, 6634378, 6733961, 5951848, 2733103, 7588816, 1483859, 6325051, 629433, 5730649, 1661245, 3269145, 6314505, 7404969, 7470313, 3667537, 6484873, 4631831, 4022979, 3852366, 3714167, 266257, 4257440, 6515045, 3016602, 745014, 3524800, 2042961, 6722723, 2354629, 4610120, 721354, 35727, 4639915, 233090, 106241, 8145968, 2081586, 1242429, 5783828, 2802750, 4415986, 2120175, 2233461, 726528, 579024, 6849259, 6805860, 1395524, 5037239, 6193815, 476449, 7572016, 896779, 3236923, 7696116, 6898251, 7520417, 3135474, 7859088, 948642, 6983885, 1435791, 1269996, 7579894, 548325, 6984424, 3161041, 2899221, 3872096, 2380664, 1524458, 5454790, 596129, 8274749, 106451, 4595248, 4632249, 5470993, 5115659, 3764016, 1003334, 6488856, 1609339, 5511444, 6790866, 2251480, 6037630, 4582999, 2981359, 1126406, 6562051, 3842385, 1514483, 8035349, 2185048, 3455701, 2143171, 2545005, 5569422, 3811652, 2453715, 495237, 3994722, 547936, 6535376, 5207309, 3263934, 1362044, 3582116, 4124308, 7761829, 8226121, 6060326, 3498777, 6463985]]]
s1: [[-2, -1, 1, 2, -2, -1, 2, 2, -1, 1, 1, 0, -2, 2, 0, 2, -2, 0, 2, 2, -1, 2, -1, 2, 0, -2, -2, 0, 0, -2, 2, -2, 2, -2, 1, 1, -2, 0, -2, -1, 0, 1, 0, 2, -2, -2, 2, -1, -2, 1, -2, 0, 0, 0, 2, 0, -1, 1, 0, -2, -1, 0, -2, 2, -1, -2, 1, 2, 2, 2, 1, -1, 0, 2, 2, 0, 2, -1, -1, -2, 2, 2, -1, 2, -2, -1, -2, -1, -1, -2, -2, 1, -2, 2, -1, 0, -2, 1, 2, 2, 2, -1, 1, 2, -1, -2, -2, 1, 0, 2, -2, 2, -1, -1, -2, 0, 0, 1, -1, 0, 2, -2, -1, 2, 2, -1, -2, 0, -1, 1, -1, -2, 1, 2, 1, 0, 2, 2, -2, -2, 2, 2, -2, 2, 2, 1, 2, 0, 1, -1, 0, 1, 2, 0, -2, -1, -2, 2, 0, 1, 0, 0, 2, 2, 1, -1, 0, 1, -2, -2, -2, 0, 1, -1, 1, -1, 0, -2, -2, -2, 0, -2, -2, -1, 2, -2, -2, -1, 1, 0, 2, 1, -2, 1, 2, 0, 0, -2, 1, 1, 1, -1, 0, 0, 2, -2, 1, -1, 1, -2, 1, 1, 2, 0, 2, 1, 2, 2, 2, 2, 0, 2, 0, -2, 0, -1, -1, 1, 1, 1, -1, -1, -2, 1, 1, -1, 0, 2, 1, -1, -2, -2, -1, -2, -1, -2, 2, 1, -2, -2, 0, 0, 1, -2, 1, -2],
[1, 1, 0, 0, 0, 2, 0, 0, 1, 1, 2, 0, -1, -1, 0, 0, -1, 1, 1, 0, 2, -1, -1, 0, 0, 0, 2, 1, -2, 2, -2, -1, 1, -2, -1, 1, -1, 2, 2, -2, -2, -2, 2, 1, 1, 1, -2, 1, 1, 1, 2, 1, 0, 2, 0, -2, -2, 0, 1, -2, 0, -1, 0, 0, 1, 2, -1, -2, -2, -2, 2, 0, 2, 1, 0, -1, 0, 0, 0, 2, -2, 0, 0, -1, 1, -2, 1, -2, 2, 2, -1, 2, 1, 0, 0, 0, 2, 0, 2, -2, -1, -1, 2, 0, 1, 2, 2, 1, 0, 0, 1, 1, -2, 2, -2, -1, 1, -1, 0, 1, 1, 0, 2, 1, -1, 1, -1, -2, 0, -2, -1, 2, 0, 2, -1, 1, -1, 2, 0, 0, 1, -2, -1, -2, -1, 1, -2, -1, 0, 1, 2, 1, 2, -1, 1, 1, -2, -1, 0, 2, 1, -1, -1, 0, 2, 1, -1, -2, -1, 1, -1, 1, 1, 0, -2, -2, -2, -2, 2, 0, -2, 1, 1, 0, 0, 0, -1, 1, -1, -2, 2, 2, -2, -2, 1, 2, 2, 0, -1, 1, -1, 1, -1, 0, -1, 1, 0, 2, -2, 0, -1, -1, -2, -1, 2, 2, 1, -2, 2, -1, -2, -2, 0, 0, -2, 0, -1, 2, -1, 2, -2, 2, 1, -1, 2, 0, 2, -2, 2, 0, -1, 1, 2, 0, -2, 0, -1, 0, -2, 0, 2, -1, -1, 1, 0, -2],
[0, -1, -2, 0, 2, -1, 1, -1, -2, -1, 1, -2, 2, 2, 0, 2, -1, -1, 1, -2, 0, 0, 2, 0, 0, 0, 2, -2, 2, 2, -1, 2, 2, 0, 2, 0, -1, 1, 0, -2, -1, -2, 1, 1, 0, -1, -1, -1, 0, 2, 0, -2, -1, 0, -1, 0, 1, -1, -1, 0, 2, -2, 2, 1, 1, -2, -2, 2, -2, 0, -1, 1, -2, -2, 0, 1, 0, 1, -2, -2, -2, 2, 0, -1, -2, -1, -1, 1, 0, 1, 2, 1, 0, -2, -1, -2, 0, 2, 1, 2, -2, 1, 2, 2, 0, 0, -2, 0, -1, 2, 1, 1, -1, -1, -1, 0, -2, 2, 1, -2, -1, -2, -2, 2, -2, 1, 0, 2, 1, -1, -2, -1, 1, 1, 2, 0, 0, -1, 2, 1, -2, 1, -2, 0, 2, 0, 0, 0, -1, -1, 1, -1, 1, 0, -1, 1, 1, -1, 2, 0, 2, 2, 1, 2, -1, -2, -2, 2, 2, -1, -1, 1, 1, 1, 0, 1, -2, 0, 2, 1, -1, 2, 1, -2, 1, -1, 0, -2, 1, -2, -1, -2, 0, 1, 0, 1, 1, -1, 1, -2, 0, -1, -2, 0, 1, 2, -2, -2, -1, -2, 1, 1, -2, -2, -2, -2, 2, -2, -1, -2, 0, -2, 0, 1, -1, 2, 1, 2, 0, 2, -1, -2, 2, -2, -2, -2, -2, 2, 0, -2, 2, 0, -2, 1, 2, 1, 1, -2, 0, -1, 2, 0, 1, 0, -1, 0],
[0, -2, 2, 2, 2, -2, 2, 0, 1, 1, -2, -2, 2, 2, -1, -1, -2, 1, 1, -2, -2, 0, -2, -1, 1, -2, 1, -1, 2, -1, 2, -1, 0, -2, -2, 2, 0, 2, 1, 2, 1, -2, 0, 2, -2, -1, -1, 1, 0, 2, 1, -2, -2, 0, 1, 0, -2, -2, 1, -2, -2, 2, 1, -2, 2, -2, 2, 1, 2, -1, -1, -1, 2, 2, 0, 2, 0, 2, 1, -1, -2, 2, -2, -2, -1, 2, 2, 2, 0, -2, -1, 2, -1, 2, -1, -1, -1, 0, -2, -2, 2, 1, 0, 0, 2, -2, -1, 2, 2, -1, 0, 1, 2, 2, 0, -1, 1, -2, -1, 2, 2, 1, 2, 2, -1, -2, 2, 0, 0, 1, 2, 2, 1, 2, 1, 0, 0, 2, 2, -2, -2, 2, 0, -2, -1, -2, 0, 1, 1, 2, 1, 1, -1, 0, 0, 1, 0, -1, -1, -2, 2, 1, -1, 1, -2, 0, -1, 2, -2, 2, -2, 1, -2, 0, 1, -2, 1, 2, 2, 2, 0, -2, -2, -1, 0, 0, 0, -2, -1, 2, -2, 2, -2, 0, -2, 2, -1, 1, 2, -1, 1, 1, 0, -1, 2, 2, -1, 2, 2, -2, 1, 1, -1, 2, -2, 1, -2, 1, -1, 1, 0, -2, 0, 1, 2, -2, 0, 2, -2, -1, 1, -1, 2, 2, -2, -1, -2, -2, 2, 0, -2, 1, 2, 2, 2, 1, 2, 0, 2, 0, -2, 1, -1, 0, -2, 1]]
s2: [[1, 1, -1, 0, 1, -1, 2, -2, 1, 0, 0, 1, -2, -1, 2, -1, 2, 1, 1, 0, 2, 1, -1, -1, 0, 2, -2, 0, 2, 2, 2, -2, -2, -2, -1, -2, 2, -1, -1, -1, 2, 2, 0, -1, -1, 2, 2, 1, -2, 1, 0, 2, -1, -1, 0, -1, 1, -1, -1, 2, 1, 2, -1, 0, 2, 0, 2, -1, 2, -2, 2, -1, 2, -1, 1, 0, 0, -2, 0, 1, 2, 1, 1, 0, -1, 2, 1, 0, -2, 2, 1, 2, -1, 2, 2, 0, -1, 2, 2, -1, 1, -2, -2, 2, 0, -1, 1, 2, 1, 1, 1, -1, -1, -1, 0, -1, -2, 0, -2, -2, 2, 2, 1, 2, 2, 1, 2, -1, 2, -2, 0, -1, 2, 2, -2, -2, -2, 1, -1, 0, 2, 2, 0, 2, 0, -1, 0, -1, 2, -1, 1, 1, -1, -2, 1, -1, -1, 2, 0, -2, -2, 1, 0, 1, -2, -2, 1, -1, 0, 2, -2, -2, 2, -1, 1, -1, 0, 0, -1, 0, -1, 2, 2, -1, 2, -2, 1, -2, -1, 1, 2, 2, 0, 2, 2, 0, -1, -2, -2, 2, 2, -2, -2, -2, 2, 0, -1, 2, -2, 1, 2, 2, 1, -2, 2, 2, 1, -1, 2, -1, -1, 0, -2, 1, 0, 0, 1, 1, 0, 1, 2, 0, -1, 0, 0, -2, -2, -2, -1, -2, 0, 0, -1, -1, -1, -1, 2, 2, 0, -2, -1, -2, -2, 1, 2, 1],
[2, 0, 1, 1, 2, -1, 0, 0, -1, 1, -1, 0, -2, 0, -1, 2, 2, 1, 0, -2, 2, -1, -1, 1, 2, -2, 1, -2, 1, 0, 0, 2, -2, -2, 0, -2, 1, -1, 0, -1, 0, -2, 1, 0, -1, -1, 2, -1, -2, 0, -1, 2, -2, 1, 2, -1, -2, 2, -1, 2, 0, 0, 0, -1, -1, 0, 1, 2, -2, 2, -1, -2, 2, -2, 2, 0, 2, -2, 2, 1, -2, 0, 0, 1, 2, -1, 0, 2, 0, -1, 1, 2, 0, -1, -1, 0, 1, 2, 0, -1, -1, 0, 1, 0, -1, -1, -1, 2, 1, -2, -1, -1, -1, -2, 2, 1, 2, -1, -1, 0, -2, 0, -2, 0, -2, 0, 2, 0, 2, -2, 2, -1, -1, 2, 2, -2, 2, 0, -2, 1, 1, -2, -1, 2, 0, -1, -2, 2, 2, 0, 2, -2, 1, 1, 2, 2, -2, 1, -2, 2, 0, -2, 0, -2, 2, 2, -1, 2, 0, 0, -1, 1, 2, -1, -1, 2, -1, 1, 2, 1, 2, 2, 2, 2, 1, 1, -2, 1, 2, -2, -2, 0, -1, -1, -1, 1, -1, 0, 1, -1, -1, 0, -1, -1, 0, 0, -1, -2, -2, 2, -1, -1, 1, -2, 2, 0, 2, 2, -2, -2, 1, 0, 2, -1, 2, -1, 2, 1, 2, 1, -2, 1, 1, 2, -1, -2, -2, 1, -2, -1, -2, -2, 0, 0, 0, -1, -1, -1, 1, -1, -1, -2, 0, -1, -2, 0],
[0, -2, -1, -2, 1, 2, 1, 2, 0, -2, 1, 2, 1, -2, -1, -2, 0, -2, 1, 0, 0, 0, -1, 2, 0, -1, 0, -2, -2, -1, 1, 2, 0, 1, -1, 1, 2, 0, 1, -1, 0, 0, 1, -2, 1, -1, -1, -1, 1, 0, 1, -1, 1, 1, 2, 1, 2, -1, 1, 2, 0, 2, -2, 2, 0, 1, 1, 1, -1, -1, -1, -1, -2, 0, -2, 1, 1, -1, 2, 2, 1, -1, -1, -1, 0, 2, -1, 0, -2, 1, -2, -2, -2, 0, 1, 2, 0, 0, 1, 2, -2, 0, -2, -1, 0, 2, 1, -1, 0, 2, 2, -1, -2, 0, -1, 0, 0, 1, -1, 2, -1, -1, -1, 0, 2, 1, -1, 0, -2, 1, -1, -1, -1, -1, 2, 1, -2, -1, 1, -1, -1, 0, -2, -1, -2, 1, 2, 2, 0, 0, 2, -2, 1, -1, 1, -1, 2, 2, -1, 2, -2, -1, 0, -2, 1, 1, 0, -1, 1, 1, 1, 2, 2, 1, 2, -2, -1, 2, -1, -1, 0, 0, 0, 0, -1, 0, -2, -2, 2, -1, -1, 0, 0, -1, 2, 1, -2, -1, 2, -1, 0, 0, -2, -1, -2, 1, -2, -1, 2, 0, -2, -1, -2, -1, -2, 1, -1, 0, 2, 2, 1, 0, -1, -2, 0, 1, 1, -2, 2, 0, 0, 1, -1, 2, 2, -1, -1, -1, -2, 0, 2, 0, 1, 0, -1, 1, -2, -2, 2, -2, 1, 1, -1, -2, 2, -1],
[1, 2, 1, 1, 1, -1, -2, 0, 2, 1, -1, 2, -1, 1, 0, -2, 2, 1, -1, -2, -1, 0, -1, -2, 2, -1, -1, -1, -1, 2, -1, 1, 0, 1, 1, 1, 1, 2, -1, -1, 0, -2, 1, 2, -1, 0, 1, 1, 2, -1, 0, -2, 0, 1, 0, 2, 0, 1, 0, -2, -2, 0, 0, -2, -2, -1, 0, 0, 1, 1, -2, -2, -2, 2, -2, 2, 2, -2, 1, 2, 0, 0, 0, -2, -1, 2, 2, 0, -1, -1, -2, 0, 1, 2, 1, -1, 0, -2, -1, 2, 0, -1, -1, 1, 2, 1, -1, 0, 1, 1, -2, -2, 1, 2, 1, 1, 2, 1, 2, -1, -2, -2, 2, 1, 0, 1, -2, -1, -1, 0, 0, 2, 0, -2, 1, 2, 1, 0, 2, 2, 1, 0, 1, 2, 2, 1, -1, 1, 0, 2, 0, 0, 1, 1, -1, -2, 1, 1, -1, -2, 2, 2, 0, 0, 2, 0, 2, 1, -2, -1, 0, -2, 1, -1, 0, -2, 0, -1, -2, 2, 1, 1, 1, 0, 0, 2, 1, 1, 0, -1, -2, 2, 0, 0, 2, 1, -2, -2, 0, -1, -1, 2, 2, -2, -1, 0, 0, -1, -2, 0, 0, 0, 0, -2, -2, 0, 0, 1, 0, 2, 1, 0, -2, -1, -2, 0, 2, 0, 0, 1, 1, 1, -2, 1, -1, 2, 0, 0, 0, -1, -1, 0, -2, 1, 1, -1, -1, 1, -2, 1, 0, -2, 2, 2, 2, 1]]

s1Hat: [[6579390, 3234202, 5760413, 813693, 7870206, 2714807, 5107675, 3985485, 7446642, 7802351, 141, 5569695, 7400683, 4456408, 3517152, 6601894, 3332893, 55620, 1169651, 3111757, 661012, 3610743, 5046516, 8072167, 508778, 1766524, 3229308, 7203161, 5380902, 5188330, 8055823, 8128169, 2817872, 4107211, 6367648, 1695164, 3786392, 7225557, 2553668, 3778664, 3699611, 2182416, 1488561, 1267703, 2951877, 5445089, 5654853, 3346216, 7966369, 4377444, 4951861, 2854808, 1524437, 2942619, 769466, 8189886, 7518358, 2016270, 5304549, 3962640, 1244803, 3496148, 5890731, 4006497, 1365117, 6765135, 1399066, 6950605, 2254178, 5327227, 1610130, 7482656, 6639515, 2134671, 2797987, 6708377, 6680920, 4251072, 4497451, 5756808, 8198722, 3326241, 2240860, 4774795, 7008524, 1969453, 3244854, 2750638, 615380, 3885211, 2353675, 6259422, 115442, 4047902, 1485587, 3101808, 5447822, 510632, 2875594, 2764403, 6359926, 1687163, 3176520, 3837004, 4684471, 6679118, 2584327, 2707017, 1122616, 2622865, 7477253, 6434841, 316700, 6947181, 5276845, 8094036, 2224801, 7817467, 5605892, 1763986, 3830369, 6956190, 353481, 1890521, 3620122, 3021081, 1625346, 7205026, 479943, 7254439, 5334505, 4432845, 133218, 8280893, 4460942, 5355173, 5201069, 6857548, 5066208, 6695302, 4226067, 6816327, 8017334, 2752344, 2789281, 3741958, 2516782, 4752862, 6615384, 7622555, 7469261, 604980, 4280277, 4441746, 2759765, 3427063, 6198445, 577872, 7309699, 2421732, 6829873, 7333638, 3082152, 1042274, 4995667, 3153414, 6296691, 7254489, 3687149, 1384177, 7562126, 5827974, 5957043, 776181, 1871817, 5008466, 8313612, 207994, 4059440, 2762107, 2498073, 6211891, 8304285, 3440601, 1958798, 3410905, 4407271, 4105466, 6554661, 948386, 7565578, 3238770, 5348055, 7700742, 7187028, 2827373, 151723, 6734005, 7529760, 6296162, 7599625, 6523851, 6962820, 5963896, 3489862, 7535357, 2821382, 6868118, 6533303, 358286, 4783166, 3532648, 483862, 8195643, 530865, 530010, 6475981, 1220411, 3387939, 2317848, 4660787, 5956734, 5516147, 5275866, 3800910, 2769699, 1025042, 363223, 3720915, 3290599, 6615991, 4046541, 4965397, 5544664, 7874159, 4782981, 7285488, 6243171, 7479862, 1387929, 3612500, 7789, 1361188, 4537444, 7636644, 7325338, 6619043, 2144286, 4684364, 6645684, 5392547, 1741394, 8129123, 226488, 5008522, 5413940],
[1777819, 261206, 3793527, 4091808, 8075935, 8319015, 1591393, 6418054, 2659780, 5318519, 4711574, 7434797, 1779310, 4891453, 7850950, 3606500, 6953358, 6567997, 4000959, 7793710, 4221931, 5061350, 397144, 5848952, 3992205, 1048912, 4906375, 378078, 3154532, 1986180, 7351667, 4901240, 3831291, 4457571, 6756994, 1184063, 3326351, 4545355, 4573799, 3066837, 954002, 3777153, 5416138, 560161, 1271638, 8296968, 8337038, 357740, 5201860, 3635609, 3710042, 2129489, 1054585, 6441249, 4897927, 4789549, 4284817, 2916227, 1613838, 5350683, 8105129, 1691146, 7230283, 5818923, 4504536, 3505099, 4763339, 3969503, 4601754, 7943124, 1541811, 3579580, 7752585, 2569266, 5582802, 527110, 7800025, 5999933, 5240212, 5489096, 7594664, 7892749, 8339295, 5813455, 3072485, 7500889, 7715052, 7741685, 8267641, 7721448, 1735362, 1622116, 5012310, 1114293, 3617880, 7751481, 4984741, 8362961, 8242480, 563139, 6356273, 3369936, 7860188, 3586347, 4160032, 2128411, 993930, 5868301, 4374049, 4493726, 3675523, 5208597, 500897, 1927534, 17145, 7977174, 3097861, 7217438, 2679712, 2017426, 3086931, 655663, 528636, 1408453, 1294053, 5674646, 5398960, 5163639, 986231, 2039018, 1665291, 1650164, 1775820, 3584220, 8228266, 4275387, 8376284, 3306274, 4239049, 5424552, 2016017, 8076321, 2975703, 6824058, 1910491, 1124358, 3025053, 5992539, 1357374, 462145, 1840035, 4980580, 7455912, 5685185, 1702221, 8368335, 4576883, 1191289, 6631773, 6393827, 7108068, 3102656, 8373950, 5339894, 5952018, 5288816, 7239649, 884244, 1918455, 7996127, 1109648, 748377, 8347152, 2749158, 4184314, 5981177, 5859752, 2878076, 350219, 8068589, 1192939, 3845527, 4450823, 2034780, 8104147, 3755756, 2267333, 4524780, 1571126, 1694039, 8363207, 6519186, 7655560, 6368507, 942539, 701445, 8328360, 2621252, 6380467, 1773815, 4647469, 7060147, 2475923, 5462960, 673272, 8065209, 7207180, 8141424, 4010569, 7737861, 2053448, 1531535, 6497567, 4615341, 6442307, 6618443, 3931807, 6783312, 4285425, 7932012, 704918, 5667957, 5924372, 2508599, 6041736, 8352639, 4105086, 6574689, 1452132, 5917986, 8142073, 2760529, 850421, 3689343, 8186586, 8048995, 1471403, 5766166, 3416432, 2975963, 320464, 4671906, 3361886, 7147872, 7119040, 5278942, 1999948, 7805974, 2554862, 3228850, 8071247, 1968259, 3206951, 322650, 1346000, 8015815],
[4210846, 2632563, 1462415, 7922880, 6998343, 2905191, 1706001, 4830423, 8168731, 3073535, 1021728, 3391631, 7847474, 4202026, 5017409, 7715663, 2190774, 5789630, 7632613, 5260264, 1633572, 529986, 608417, 8053588, 532671, 6341917, 4739054, 6284372, 1184604, 2616586, 3822612, 7873299, 646484, 7485308, 3096700, 1341094, 3897162, 5977822, 1946230, 3799171, 3531553, 5262057, 7105025, 3129309, 6592650, 2306241, 703288, 5501454, 835221, 7286058, 6447395, 3701317, 3151883, 2102688, 2508019, 7419072, 5493830, 1167334, 1092113, 3500870, 3199898, 4500193, 6206158, 4654671, 2452867, 7047682, 3713394, 6729779, 5595074, 4300514, 2830220, 7825357, 7184511, 6656569, 5961395, 6398149, 4773990, 7053708, 7043945, 6610263, 5903516, 6427273, 6673380, 7331906, 1636264, 6439231, 2630090, 7437495, 1562711, 310978, 1336264, 2638743, 5523535, 6157256, 7228206, 1327784, 1408589, 5639984, 6398948, 8303172, 4163198, 1214819, 3159419, 3323112, 4236011, 7365422, 6119754, 4188613, 4599034, 6750659, 3963885, 5566213, 8032890, 6705399, 1627261, 5596707, 3369915, 5894168, 2791646, 1627712, 1928989, 1502498, 5092528, 4574107, 3515054, 44637, 6225401, 3705451, 7480701, 231684, 4837474, 5812809, 2796129, 8039178, 664757, 3239434, 6586534, 987181, 6771301, 2467911, 4762599, 7331833, 6791249, 2606543, 7950095, 4317319, 1794048, 4433576, 3004013, 1509470, 1368933, 1958976, 5074369, 3782457, 4963484, 7512407, 3721208, 7607113, 2600686, 4771850, 2823703, 7125126, 4071644, 7407005, 2263430, 1577937, 7525562, 5420729, 7286064, 3091365, 7040038, 4160447, 2360769, 306859, 1151146, 1258695, 3356637, 2098003, 7806531, 4546081, 1668275, 3113968, 4031587, 5727394, 3696996, 2662191, 4385469, 3954235, 721299, 5064616, 3575042, 792515, 4023773, 2500093, 5024093, 5251714, 5430853, 596123, 5448558, 3740167, 7085660, 5646570, 1203098, 5191110, 12283, 1670591, 4431962, 1940154, 3757822, 3792108, 8049016, 157827, 7015364, 4443649, 1424391, 5721124, 7951897, 4784997, 7607976, 7639798, 180896, 7068729, 5579847, 8345891, 482938, 3243912, 4119032, 4044079, 6152105, 2165999, 2815576, 183984, 5700573, 3634357, 3299126, 2604516, 3167438, 4552953, 4797131, 4094544, 781367, 7323094, 3957716, 2837595, 6475888, 7772725, 5367157, 1766678, 5557409, 5642029, 5016057, 4739958, 1199913, 2649352, 81630, 5494236],
[3403971, 3716226, 2350306, 311129, 1392253, 5521860, 2432006, 1589053, 715014, 3344243, 3872748, 7139941, 933479, 6536172, 7059154, 659654, 2372053, 4631029, 4706989, 7191318, 1581026, 4093836, 7906106, 5822701, 5474901, 4682649, 5793945, 6341552, 3592866, 999973, 6911492, 7414933, 4699049, 4135185, 7754957, 2214785, 1559232, 3498898, 3223528, 7804173, 6564043, 3416337, 2098231, 6460717, 2190718, 6870293, 6812863, 5429070, 4485814, 7931908, 3885564, 108673, 1333436, 1100374, 5389416, 2634959, 5493555, 820519, 2891908, 1215297, 8022625, 1052319, 8171684, 552251, 7707606, 1301876, 6613266, 108202, 1546325, 5542902, 3616405, 7398941, 5102734, 7106617, 7709406, 3440500, 82263, 1292286, 8355094, 1426041, 2537192, 1386053, 3967622, 4540861, 189623, 6028704, 194583, 3262408, 3843705, 3891321, 5966332, 8084755, 3846192, 957106, 3563402, 6525384, 8007749, 1571876, 506995, 4751162, 5546215, 5030703, 6822558, 8225476, 6039693, 2691985, 831000, 1768135, 5792236, 3720218, 4965142, 7702380, 7865283, 4344721, 2659363, 5188879, 1845034, 2325646, 2849999, 6341118, 8228912, 473604, 5958848, 7481882, 6382303, 5301092, 8072043, 7982189, 2011207, 2662834, 3994474, 5733637, 7370637, 5457818, 4896232, 3044205, 6394406, 2637125, 8137749, 7103744, 2410412, 4912777, 7236253, 1906101, 5867038, 7430061, 3496728, 2361595, 7162981, 4688635, 4663715, 564460, 4319560, 5497315, 1131778, 8357520, 4449396, 2887298, 5176808, 8310409, 2103164, 5355198, 1314192, 1333922, 7627092, 5035248, 4012636, 82094, 6160396, 5238502, 521834, 6169832, 3956039, 7990750, 6823038, 4384273, 6076013, 149552, 7859758, 5081836, 5979316, 2886707, 801491, 2408061, 7621040, 4394426, 7992912, 3311222, 8236976, 3604812, 188568, 5814755, 5208294, 1542434, 5748310, 752834, 8157781, 6609789, 3230371, 6825820, 1260726, 4232643, 4673970, 5749046, 2579455, 3582036, 8027541, 8287944, 1039528, 1224694, 1979993, 2949218, 4343295, 8210997, 4443771, 7371963, 6881009, 7204172, 786485, 5167849, 4383249, 6365828, 3655991, 4768139, 5331403, 6054675, 5379218, 1061808, 8204951, 2653330, 2084986, 7376605, 7412925, 2070061, 5789716, 5533405, 81429, 4396569, 145151, 7694275, 2416267, 8061887, 1917003, 6986799, 4689104, 3481676, 3602354, 5285944, 2626294, 273894, 2469254, 4502811, 7324319, 3572447, 6555545, 3176930]]
aHat * s1Hat: [[7173756, 4463163, 7813712, 8016531, 3997849, 5162484, 7557753, 5209556, 2455766, 1538558, 5954781, 7567856, 8230327, 5889153, 3360342, 1138821, 181145, 4804369, 2808142, 6333266, 3085444, 975796, 4574536, 4489251, 7527120, 373153, 6008302, 3141197, 5608805, 1043230, 6743931, 7811993, 2682956, 7739834, 1864028, 8157075, 7576707, 6020957, 4683726, 4124676, 3516847, 7815986, 6043031, 4976847, 7787749, 4890002, 4952002, 5665440, 3298602, 3234377, 2526698, 7786455, 4379810, 6237612, 5889381, 438607, 5181618, 8248510, 7193304, 284918, 5432635, 6790412, 1785156, 979070, 2110597, 5818966, 5731551, 1443433, 3178894, 5535253, 2533321, 7778379, 734983, 6045692, 3407963, 5523841, 7632620, 4660511, 3948421, 7212453, 197434, 2447231, 6133534, 6773050, 2921294, 1314805, 3206488, 7654354, 2743508, 525315, 3367701, 3644062, 7975859, 8219225, 7416907, 6990697, 5651960, 488369, 5698785, 5470582, 7900704, 3279218, 8207650, 1711549, 3499379, 3039621, 2778722, 5563946, 7790020, 1870085, 1164406, 2827076, 2867556, 4381889, 6198274, 1772562, 7624864, 944102, 1748708, 5659987, 2141930, 6742563, 1955877, 1204357, 8205041, 8075370, 1935743, 2298664, 7158458, 5419090, 1793717, 2319608, 1676958, 640214, 7702535, 5080581, 6921654, 5411094, 2731479, 6296734, 2241471, 6689308, 2734852, 5753792, 7597455, 4257683, 8299793, 7898875, 6612590, 6782606, 5765883, 4301433, 396655, 5048539, 6595430, 4514167, 5033687, 3948416, 8371884, 6133585, 206517, 6977786, 6656907, 3595264, 2618658, 2317087, 5278380, 1140711, 2270649, 1226621, 6504948, 2982810, 1220884, 1169248, 6804380, 8061390, 7130391, 5698609, 2917631, 4870488, 6771651, 3577087, 6419000, 4287419, 7677836, 2991718, 8123281, 3751452, 5559827, 4206879, 881391, 721806, 3269284, 5465012, 2415071, 3086890, 7190174, 934025, 5558825, 6805457, 2741958, 7618748, 4167520, 6510915, 4531194, 7138987, 5934426, 1742549, 1332316, 1337852, 3945028, 3764133, 7030001, 4200351, 3566501, 4869468, 2122174, 4769298, 5510392, 4719401, 4119965, 7931459, 2547042, 2698259, 1686597, 5183322, 2135077, 3308862, 5645462, 6666154, 878250, 4181880, 3137050, 6609634, 6287614, 4251094, 412379, 7912804, 636015, 7767796, 8105857, 7760035, 1182664, 1425300, 738558, 6601834, 2923470, 1793608, 7209242, 4842600, 1424066, 3339528, 2894985, 1610136, 844885, 6974182],
[5284259, 3885376, 1368620, 132205, 6879018, 685232, 7336444, 6249654, 2777641, 2709738, 3850162, 6826710, 7020678, 3892065, 1694446, 5674450, 1387712, 2742244, 6830513, 6694116, 6449419, 2587617, 2862001, 6993137, 4993423, 5191364, 7871548, 1709781, 2499282, 7094064, 1931730, 6612107, 2422206, 4544859, 4097710, 1240405, 7819296, 5039980, 8273103, 4328835, 1384560, 4612419, 2927531, 7678616, 8042905, 5540072, 1813238, 3336605, 4485892, 234744, 6326804, 1428110, 2868336, 5252129, 4692503, 247667, 6029092, 4569463, 6940634, 6316079, 2357833, 2961166, 7044263, 4193375, 4323430, 721207, 3520689, 1983955, 6486585, 7428184, 3490782, 6402040, 5632770, 6052599, 2392897, 1843030, 54600, 3452802, 7592889, 4348669, 232870, 4936540, 4505370, 1226226, 6846259, 7978702, 7135420, 725085, 7279340, 4022518, 3580894, 4490629, 1188006, 3023546, 271963, 3958021, 2967085, 1742538, 7974138, 7813494, 5216320, 5045473, 7171949, 573799, 3868474, 4120761, 5561968, 4568926, 4356697, 50391, 1335694, 3010752, 667170, 5893837, 6747946, 6922841, 7679909, 1321817, 7249114, 6803703, 563728, 836610, 6687639, 1078442, 3031955, 2398308, 6014605, 3793995, 7182934, 3740413, 4977967, 3183907, 4697706, 1047560, 115947, 6275570, 7108168, 564545, 6037497, 4249495, 7181731, 1594144, 831004, 2844727, 1341690, 3763207, 6734110, 2142665, 5937723, 1523678, 6661419, 4110393, 4661110, 153775, 1831294, 5661523, 1088074, 2438553, 6436489, 6493131, 3980503, 1974865, 1911800, 3898070, 2982239, 4955344, 1456388, 5514401, 7899861, 6006142, 1950111, 564686, 628696, 6747763, 2409809, 6766205, 2027279, 1335548, 8044860, 8065642, 6284116, 1143350, 110906, 4901667, 3969739, 213428, 7850848, 2112202, 5132388, 7398187, 2008037, 7419596, 6646869, 164900, 5250517, 670605, 2517637, 8028184, 3241948, 579951, 6574635, 2821707, 5273368, 4471160, 5262380, 2862328, 7371545, 66487, 998449, 707717, 5349877, 7761980, 154147, 1284556, 544310, 3384496, 1831031, 8215913, 5332844, 6501612, 5650853, 7986074, 6023911, 6769778, 6845814, 2590542, 227588, 186742, 2906736, 7021328, 7209266, 1348916, 2895486, 6323851, 2874799, 944544, 547546, 3445958, 4927316, 2244703, 7666869, 2341454, 4783335, 4187707, 265376, 3081431, 2958912, 4404846, 808479, 8208562, 7357641, 149446, 3011179, 3815373, 1152471, 290835],
[1828613, 8016403, 5983422, 6981535, 5591372, 3243001, 2083753, 755060, 6994817, 236727, 7259592, 3082803, 4788195, 4417006, 127649, 6622423, 6290244, 204714, 7692701, 2433055, 4616518, 5542513, 702763, 2369015, 1262351, 6082768, 1317834, 5632989, 4369493, 3633054, 1865683, 448730, 3995611, 1978094, 8255725, 5443626, 3335714, 5228716, 1276548, 2525005, 3539778, 7339034, 8229561, 1188959, 5295636, 8359844, 3999191, 2844072, 5623737, 2324931, 7118387, 3690742, 480546, 4860952, 2229159, 129017, 6579449, 1161086, 6914990, 5310637, 2802356, 6893936, 3082578, 503004, 7517607, 8327600, 4659301, 6434554, 7161961, 6699552, 8244848, 3453018, 8173438, 5602359, 6184039, 4861973, 4920905, 458434, 5951104, 6301117, 212785, 4307324, 9935, 5856350, 7887116, 5068732, 6670294, 8076921, 6039646, 5771485, 2840701, 2662546, 5732224, 4991429, 2569381, 2240628, 6488656, 910312, 2811854, 5059180, 7212233, 6272578, 5039645, 7812602, 2913486, 5308512, 1844973, 1583306, 2987065, 3868461, 4177759, 5989914, 6699121, 1980919, 7981068, 813187, 6017264, 1082665, 1973788, 4577724, 2660607, 3467445, 5016886, 5629206, 1735677, 5340212, 6747271, 7796070, 1810761, 2917464, 1454610, 288724, 8328418, 2896928, 5527649, 7523745, 3331102, 2066184, 4515028, 6237003, 5920268, 3380294, 971341, 5956007, 4680424, 7826416, 3741661, 6217149, 4782079, 6678674, 5433007, 2443426, 4056992, 4236574, 1716903, 2745623, 4690903, 4027458, 5070286, 6737845, 6713729, 7448403, 869110, 345984, 4142952, 311497, 35586, 818857, 7685169, 6229066, 8208985, 4182387, 1815494, 7682553, 7919073, 5298111, 6708928, 2719787, 8148063, 4433677, 6317452, 6693699, 7650640, 2803205, 1267025, 717633, 8077413, 4299309, 2569654, 3671841, 1182656, 3509469, 87076, 1680595, 3909067, 446204, 6473563, 1811194, 7113769, 6407595, 2937192, 1757380, 7222684, 4790444, 6669094, 6631017, 4250252, 7733012, 5733400, 603663, 3848738, 7238566, 1841786, 6437669, 3843662, 7634813, 6085483, 3993109, 567969, 4175191, 2538293, 8211327, 454464, 1642273, 4664663, 2141046, 2890663, 7375350, 4196109, 3057923, 6547589, 2187753, 8216849, 6959826, 5725311, 6917744, 4979582, 1929950, 5991694, 6141079, 4399771, 5624709, 5566349, 8105364, 6050465, 6820262, 3547671, 7845983, 1978852, 617977, 3104838, 8060717, 3782109, 8212420, 1467857, 4448722],
[7860225, 8258854, 8004522, 1814955, 6846388, 7533577, 2341537, 5866449, 3366727, 6720900, 7291455, 4012098, 6941796, 2314989, 1645772, 2138598, 5286343, 7487624, 8210689, 33563, 3564209, 1856957, 6534553, 6881485, 2561379, 3017989, 6789878, 7102051, 2817256, 564530, 3067077, 3656212, 4371530, 2132581, 2041098, 2631160, 3982766, 6394254, 5025594, 1605205, 5641729, 4505604, 2406708, 4092343, 2191105, 6368215, 3137793, 2844984, 6914375, 4221834, 4137512, 6335431, 1971127, 7373512, 1774790, 2136978, 7743031, 3573225, 5684438, 5516650, 7207590, 5937035, 122569, 6363695, 6771970, 8296868, 1537199, 1346922, 3192988, 2076345, 4134661, 8019395, 7419384, 3009199, 1922666, 8044741, 3921073, 6600873, 8207018, 6492013, 3006065, 5900203, 547836, 2980975, 2131131, 6947195, 5375492, 4427678, 6892976, 3120613, 1171951, 1243698, 5872579, 2785402, 7708361, 7099479, 4752281, 7948118, 5922733, 723391, 4624631, 2740564, 4259525, 5657874, 5325567, 5359405, 772350, 3595552, 3483510, 7417827, 7771405, 161324, 5196676, 7300938, 4927723, 2554498, 2544443, 998221, 2202086, 3131352, 4404360, 2946575, 8153277, 7001860, 5679096, 3760070, 3534988, 514274, 2660858, 6257379, 7207894, 567665, 1771629, 3174060, 8242633, 4276413, 3207377, 7752938, 3833869, 3254416, 26862, 1771400, 3203798, 1185679, 375778, 505615, 7267195, 1449631, 2740566, 4787711, 712135, 991024, 7909384, 3911679, 1681431, 8072886, 4914954, 7734829, 6858951, 1419099, 1339437, 2025224, 1705915, 5466742, 8078014, 5391686, 3844478, 6886645, 747718, 4383878, 3869858, 942492, 3242733, 5687559, 6895735, 5881233, 4161708, 5929248, 7099194, 3796109, 3955833, 7565367, 8227477, 8218633, 5214871, 2895768, 7258486, 2621253, 7094061, 7379042, 4664278, 474556, 5570377, 876246, 4712328, 2499461, 3526909, 19243, 136964, 2115851, 8103704, 575225, 56562, 1128901, 3275524, 4958361, 6789310, 1279013, 5586423, 3324951, 4045874, 1326878, 3205980, 4611414, 6443909, 6014391, 117606, 2176988, 7434126, 4591873, 2650966, 5131929, 6562520, 1708158, 5426752, 6623645, 3619627, 3894145, 3397506, 130596, 290406, 4160791, 6959084, 4794458, 3384833, 3688557, 3321598, 6269178, 2216576, 5805188, 6337638, 8286344, 6357418, 910624, 7783248, 6640376, 3196282, 7163882, 5338782, 8352592, 1475796, 5743556, 5612352, 3834791, 1298088, 6926856]]
NTTInverse(aHat * s1Hat): [[4089385, 3243627, 2997576, 1860759, 7743501, 7853441, 1170077, 1195218, 7888106, 665458, 5751129, 5154174, 7545301, 4808040, 4175098, 7253799, 7354401, 4374114, 4898140, 8044441, 4815372, 4010427, 6091385, 7511375, 5519099, 8122144, 2751558, 5957631, 3470660, 302268, 5061991, 4165622, 2714659, 8063459, 2847894, 1533472, 4438403, 6443104, 2347662, 289547, 184159, 5498888, 5443787, 1425670, 3078839, 5300425, 5553617, 7454249, 3728399, 6859040, 2564941, 2503834, 6526467, 3139810, 4830966, 3195083, 3837599, 3020684, 5099414, 7632484, 7411640, 949374, 4008957, 25711, 5508339, 8179926, 5906373, 7293751, 7933155, 2462199, 7399825, 2422046, 1919134, 2219453, 5125954, 4215190, 6111785, 4964145, 4699695, 3414382, 5633204, 8253928, 6384382, 5252926, 1909370, 7134709, 1002384, 2857427, 782475, 6710664, 578965, 6004387, 250791, 1740254, 2869920, 6754518, 5004253, 3901061, 6136709, 257472, 434038, 5473324, 3029021, 9021, 6504021, 533317, 172691, 449164, 903614, 5480884, 5137554, 2470044, 5050434, 4148316, 6679782, 7441998, 732383, 7945132, 6825658, 626286, 5927752, 421578, 6978195, 5197373, 2226286, 7037106, 1725738, 6927486, 6997502, 1201567, 2573924, 8193142, 2094057, 3138833, 6966564, 7497571, 6111573, 6131203, 3073023, 3823983, 8264453, 4390787, 3881140, 4873363, 5557490, 792772, 7477984, 7046048, 8348349, 6302649, 6541801, 8341189, 1418279, 2709922, 700308, 1217449, 2297217, 1470439, 3212806, 790777, 5213120, 5758425, 2076338, 7545777, 1805605, 2703815, 2067337, 2102944, 636299, 4233636, 6027475, 600281, 7267577, 5879100, 8103361, 415092, 3881831, 6691668, 3448279, 2899642, 3276783, 4799396, 7504762, 1243741, 6158462, 2871358, 5882567, 3341518, 542921, 732539, 7112079, 6697560, 4666153, 3317112, 5864087, 6699666, 2879704, 3446807, 2688491, 5407074, 139236, 6915964, 3050814, 7186377, 5246300, 3820169, 4976134, 6808630, 983871, 5644977, 8027008, 6509110, 2021339, 444784, 6184213, 6370231, 3543847, 7815931, 2290130, 1767280, 2494956, 7165443, 2394185, 6418859, 2101956, 5246065, 5209342, 4703811, 2405169, 3885181, 5663167, 3017062, 2999548, 1031789, 2800455, 3702120, 748277, 1095694, 2873435, 6784032, 999330, 7553807, 7064382, 795640, 1427808, 1871738, 4214659, 8127216, 8074002, 1777326, 2706004, 7614288, 6665819, 6039723, 2142283, 792449],
[3424695, 3851902, 7946663, 7319124, 3293286, 4224957, 4060028, 3286208, 60159, 2504816, 5758015, 5804699, 749986, 7462904, 5351146, 2632035, 2853283, 611042, 524618, 7013505, 7063882, 5050956, 7482637, 1669759, 7283173, 879, 6404094, 1897950, 7624650, 1459694, 1738080, 631549, 4880914, 6642021, 6838518, 5550582, 5960333, 6207807, 5242158, 1822450, 7437190, 3238536, 6645595, 423243, 6066631, 8056918, 6399922, 5697097, 8242501, 732180, 198418, 2766884, 2270581, 5701403, 1135138, 8197833, 1974559, 6143785, 1682114, 3402104, 7819628, 5787659, 4651657, 748064, 6811831, 1379049, 469113, 5052180, 8208855, 1952045, 7813633, 6299960, 5840565, 7080326, 400269, 3186522, 1864224, 423158, 3305970, 7123647, 843954, 5789455, 6919577, 5837478, 7614468, 7722304, 6482681, 8156351, 6028288, 7136110, 6812329, 2521103, 879313, 6313515, 4155740, 5957056, 3461072, 3674013, 1303662, 5323132, 3109450, 2862258, 5839198, 1025044, 2735530, 1681423, 1158434, 7562638, 5632777, 3879238, 180855, 7020215, 4748859, 3243932, 5979262, 6160414, 6066632, 792368, 4192626, 7863217, 886899, 2009585, 4326007, 7085219, 7622610, 3118274, 3992835, 4532977, 2600098, 2491388, 1127216, 5770495, 688904, 5422250, 5655242, 6793791, 8036904, 1111124, 4090337, 5072013, 4959199, 413106, 5278590, 6905221, 3538262, 593483, 126314, 7748366, 4923111, 5544693, 7950001, 7708029, 3428345, 1358095, 793299, 8008047, 7398863, 4939405, 7195367, 1931939, 2135454, 4586798, 3358235, 4574039, 3741742, 6546536, 5907758, 4525561, 126526, 6537530, 346442, 4154402, 2506090, 5054506, 7833272, 5492834, 5929410, 5773490, 1021035, 4190007, 3953982, 7606524, 830722, 7246442, 4788771, 4564004, 1958702, 6741305, 3003739, 2311838, 6282800, 4374990, 4019103, 60861, 2260773, 4739317, 774350, 546887, 3298028, 7537930, 1936736, 5147247, 5491279, 5188527, 5636260, 5782248, 3051842, 6902039, 5967255, 7162124, 5618424, 543754, 6005114, 2159043, 7534796, 2940798, 7011455, 145590, 3728597, 2750789, 5753651, 7992286, 5411603, 6677323, 8287529, 6095749, 7690576, 6993070, 5893833, 6523179, 4769266, 7673291, 1651630, 7320632, 4753701, 221529, 6982325, 778411, 2930144, 1244932, 3503055, 6465906, 3250207, 7735918, 6383851, 6921164, 346844, 2805486, 3481572, 3781001, 914637, 2398891, 3206325, 515530, 6168665, 731884],
[1285947, 630930, 2012121, 7066228, 3129344, 6394749, 6593383, 4387907, 887463, 812692, 603020, 4377173, 4103483, 1156382, 5369498, 8071448, 2281453, 4224566, 5272032, 1838907, 6047178, 3329268, 6749205, 5458253, 2186741, 5519041, 1329113, 5438547, 1681210, 3590947, 7028899, 2422292, 2277841, 7547872, 7732011, 7483190, 5098267, 2051635, 1542359, 3226695, 7028976, 4609970, 1337465, 869137, 871165, 5141036, 2774985, 2462731, 6505028, 2104296, 1724592, 1894598, 1679234, 347885, 6959033, 6726898, 5240702, 2056539, 6605145, 2564441, 7296784, 1081689, 7618357, 2375022, 6556161, 6182829, 3602326, 6469673, 3773524, 6640991, 5379744, 1221214, 1129515, 4256148, 1140741, 6895784, 8178431, 3580574, 6387912, 5879466, 3702168, 6930283, 4337076, 126424, 7509137, 2286265, 5870223, 2376601, 5636159, 486415, 1528271, 8238139, 690718, 125230, 4177471, 4455488, 6551702, 1094664, 8170974, 6038971, 1798727, 2266183, 4421546, 3745496, 1589438, 2209460, 683195, 562950, 3373443, 5523241, 2278508, 3634124, 1096875, 4354897, 3833136, 4074198, 3708176, 5291681, 6186251, 2618800, 784904, 2033447, 5349566, 5776766, 5773857, 1526787, 2865668, 7065941, 4745134, 2361342, 6739405, 6553049, 7230049, 5267037, 4333511, 6041430, 3679567, 5119173, 8254748, 1474374, 2147226, 4632197, 4911442, 5848354, 2159421, 3779114, 1189628, 2952580, 8158330, 2045331, 7518659, 2492139, 8282027, 4299058, 3945633, 7926724, 3682565, 5705509, 3832827, 5979921, 6594509, 2978022, 7446868, 6975705, 2051725, 3479710, 5465505, 7887015, 3890278, 8324545, 2645564, 4163467, 5766302, 7936624, 3535460, 5478595, 5301466, 3712564, 927667, 3179850, 2621833, 5002164, 7248770, 4961154, 3312121, 852237, 7544291, 3618228, 5028488, 1177452, 3145740, 6302583, 2428133, 638999, 6442056, 3274606, 4033377, 1860127, 6969393, 2787442, 3562126, 8277329, 7610342, 6438965, 8278100, 3790348, 5467721, 3864836, 5724001, 5779859, 6082966, 4474644, 6065861, 7322462, 3707245, 1379623, 332429, 8379773, 2534853, 4699512, 5398130, 2769315, 254641, 4062657, 7750574, 1192805, 5132465, 4328165, 2105878, 4126113, 5040662, 6964074, 3039283, 6055839, 7602129, 572323, 3086649, 3627091, 1424735, 1528581, 2587179, 1346346, 5868296, 4496993, 1793023, 1955943, 337849, 8332896, 2784200, 6417779, 1936980, 1080565, 7848398, 1975180, 6760728, 1622118],
[2744379, 6885345, 1807923, 6069656, 7723085, 1276462, 7935274, 1842025, 7671994, 1471837, 2361166, 5712830, 6416006, 4256155, 2086655, 6041980, 7850710, 4851603, 7559832, 678895, 6609594, 6073222, 1182875, 4529032, 7074411, 1931892, 2958057, 2685279, 417066, 1718998, 47645, 8330578, 5570086, 6731127, 8220976, 8261900, 4382920, 7621374, 3941221, 1436124, 2328952, 1354935, 626480, 5542502, 2895930, 6265126, 6388096, 5139463, 4275154, 2069743, 7711751, 4705240, 68367, 2347443, 469656, 6013859, 7038082, 5969353, 3314702, 4767343, 4697703, 294325, 4710633, 6229667, 8050294, 7047753, 8095673, 3078183, 1355152, 3375925, 153571, 6840666, 6022515, 2078726, 941659, 4566963, 4583903, 8232962, 3622647, 5082093, 114695, 7270847, 5136449, 2425559, 6942636, 5456916, 415748, 2666815, 2621575, 5434989, 5721327, 2349115, 2628653, 4263657, 8771, 2476565, 2676940, 3385837, 5030150, 7533730, 2216672, 1231656, 8290981, 2140179, 2373735, 2021092, 5831682, 8072098, 3759584, 15227, 5279577, 432118, 1864527, 3316973, 6050653, 3467487, 3236496, 7704965, 5308437, 628019, 1482419, 8125918, 3890681, 794066, 5054805, 2062883, 2190391, 4744113, 2199426, 4541677, 5153949, 4001735, 8124426, 6226277, 4216809, 3124782, 2918839, 6895211, 6824640, 7488676, 8288762, 7748465, 1235531, 2751766, 5125883, 1192491, 4502710, 5665762, 2126057, 4085647, 6968122, 2178470, 5528926, 4137035, 6996256, 1489785, 694167, 7897283, 210877, 2940709, 652576, 4693054, 2526938, 5241819, 4647590, 7677156, 1302757, 2447116, 1934618, 1971507, 6648280, 3985967, 151420, 7767100, 2729502, 2822212, 5552807, 156455, 5544071, 568745, 7341009, 6339283, 4488696, 1194494, 7121982, 6570664, 233959, 5248444, 1360166, 726667, 6903157, 8134001, 1302246, 3707545, 7482388, 4743618, 4193426, 5569903, 4457089, 2075984, 4936280, 6826065, 1997664, 8046952, 3242090, 3865359, 6215919, 2395352, 7812330, 144665, 5376732, 3695858, 2878804, 7275898, 5907422, 1774677, 556449, 2898796, 908702, 1599506, 2662060, 2503504, 7345946, 1233447, 7197613, 8029531, 2256785, 1307416, 5099849, 7162618, 6247378, 4132615, 4571828, 3707672, 3665606, 1175100, 6902652, 189897, 8059671, 6330145, 637737, 7586354, 4344977, 2149996, 21487, 6908532, 2491590, 6042182, 306412, 2393074, 7046117, 2009454, 3857205, 4266714, 4101378, 6804066]]
t: [[4089386, 3243628, 2997575, 1860759, 7743502, 7853440, 1170079, 1195216, 7888107, 665458, 5751129, 5154175, 7545299, 4808039, 4175100, 7253798, 7354403, 4374115, 4898141, 8044441, 4815374, 4010428, 6091384, 7511374, 5519099, 8122146, 2751556, 5957631, 3470662, 302270, 5061993, 4165620, 2714657, 8063457, 2847893, 1533470, 4438405, 6443103, 2347661, 289546, 184161, 5498890, 5443787, 1425669, 3078838, 5300427, 5553619, 7454250, 3728397, 6859041, 2564941, 2503836, 6526466, 3139809, 4830966, 3195082, 3837600, 3020683, 5099413, 7632486, 7411641, 949376, 4008956, 25711, 5508341, 8179926, 5906375, 7293750, 7933157, 2462197, 7399827, 2422045, 1919136, 2219452, 5125955, 4215190, 6111785, 4964143, 4699695, 3414383, 5633206, 8253929, 6384383, 5252926, 1909369, 7134711, 1002385, 2857427, 782473, 6710666, 578966, 6004389, 250790, 1740256, 2869922, 6754518, 5004252, 3901063, 6136711, 257471, 434039, 5473322, 3029019, 9023, 6504021, 533316, 172692, 449166, 903615, 5480885, 5137555, 2470043, 5050433, 4148315, 6679782, 7441997, 732381, 7945132, 6825656, 626284, 5927754, 421580, 6978196, 5197375, 2226288, 7037107, 1725740, 6927485, 6997504, 1201565, 2573924, 8193141, 2094059, 3138835, 6966562, 7497569, 6111571, 6131204, 3073022, 3823983, 8264455, 4390789, 3881140, 4873365, 5557490, 792771, 7477984, 7046047, 8348351, 6302648, 6541802, 8341190, 1418278, 2709920, 700309, 1217448, 2297216, 1470441, 3212806, 790775, 5213118, 5758426, 2076338, 7545778, 1805603, 2703813, 2067338, 2102943, 636299, 4233638, 6027473, 600279, 7267579, 5879099, 8103362, 415091, 3881831, 6691668, 3448278, 2899642, 3276782, 4799398, 7504764, 1243740, 6158464, 2871356, 5882568, 3341516, 542920, 732540, 7112081, 6697562, 4666153, 3317114, 5864089, 6699666, 2879703, 3446805, 2688489, 5407076, 139238, 6915962, 3050812, 7186375, 5246302, 3820169, 4976133, 6808632, 983869, 5644978, 8027010, 6509112, 2021340, 444782, 6184215, 6370233, 3543848, 7815930, 2290132, 1767279, 2494955, 7165443, 2394183, 6418860, 2101956, 5246065, 5209343, 4703812, 2405169, 3885182, 5663169, 3017062, 2999547, 1031789, 2800455, 3702118, 748275, 1095692, 2873434, 6784030, 999330, 7553807, 7064381, 795639, 1427807, 1871737, 4214661, 8127218, 8074002, 1777324, 2706003, 7614286, 6665817, 6039724, 2142285, 792450],
[3424697, 3851902, 7946664, 7319125, 3293288, 4224956, 4060028, 3286208, 60158, 2504817, 5758014, 5804699, 749984, 7462904, 5351145, 2632037, 2853285, 611043, 524618, 7013503, 7063884, 5050955, 7482636, 1669760, 7283175, 877, 6404095, 1897948, 7624651, 1459694, 1738080, 631551, 4880912, 6642019, 6838518, 5550580, 5960334, 6207806, 5242158, 1822449, 7437190, 3238534, 6645596, 423243, 6066630, 8056917, 6399924, 5697096, 8242499, 732180, 198417, 2766886, 2270579, 5701404, 1135140, 8197832, 1974557, 6143787, 1682113, 3402106, 7819628, 5787659, 4651657, 748063, 6811830, 1379049, 469114, 5052182, 8208853, 1952047, 7813632, 6299958, 5840567, 7080324, 400271, 3186522, 1864226, 423156, 3305972, 7123648, 843952, 5789455, 6919577, 5837479, 7614470, 7722303, 6482681, 8156353, 6028288, 7136109, 6812330, 2521105, 879313, 6313514, 4155739, 5957056, 3461073, 3674015, 1303662, 5323131, 3109449, 2862258, 5839199, 1025044, 2735529, 1681422, 1158433, 7562640, 5632778, 3879236, 180854, 7020214, 4748858, 3243930, 5979264, 6160415, 6066634, 792367, 4192625, 7863217, 886897, 2009585, 4326005, 7085219, 7622608, 3118274, 3992837, 4532977, 2600100, 2491386, 1127218, 5770494, 688903, 5422252, 5655244, 6793789, 8036906, 1111124, 4090335, 5072014, 4959200, 413104, 5278589, 6905223, 3538262, 593482, 126312, 7748368, 4923113, 5544693, 7950003, 7708027, 3428346, 1358096, 793301, 8008049, 7398861, 4939406, 7195365, 1931941, 2135454, 4586796, 3358235, 4574037, 3741744, 6546538, 5907757, 4525563, 126526, 6537530, 346441, 4154403, 2506092, 5054505, 7833271, 5492836, 5929409, 5773491, 1021037, 4190008, 3953984, 7606526, 830724, 7246444, 4788772, 4564005, 1958700, 6741306, 3003741, 2311836, 6282798, 4374990, 4019102, 60860, 2260772, 4739318, 774349, 546887, 3298029, 7537929, 1936735, 5147247, 5491278, 5188526, 5636260, 5782248, 3051841, 6902037, 5967253, 7162126, 5618423, 543753, 6005115, 2159041, 7534798, 2940798, 7011457, 145592, 3728595, 2750787, 5753652, 7992286, 5411605, 6677322, 8287531, 6095748, 7690578, 6993071, 5893835, 6523180, 4769264, 7673292, 1651631, 7320634, 4753700, 221527, 6982323, 778412, 2930142, 1244931, 3503053, 6465904, 3250207, 7735918, 6383851, 6921163, 346843, 2805485, 3481573, 3781000, 914636, 2398889, 3206325, 515529, 6168663, 731884],
[1285947, 630928, 2012120, 7066226, 3129345, 6394751, 6593384, 4387909, 887463, 812690, 603021, 4377175, 4103484, 1156380, 5369497, 8071446, 2281453, 4224564, 5272033, 1838907, 6047178, 3329268, 6749204, 5458255, 2186741, 5519040, 1329113, 5438545, 1681208, 3590946, 7028900, 2422294, 2277841, 7547873, 7732010, 7483191, 5098269, 2051635, 1542360, 3226694, 7028976, 4609970, 1337466, 869135, 871166, 5141035, 2774984, 2462730, 6505029, 2104296, 1724593, 1894597, 1679235, 347886, 6959035, 6726899, 5240704, 2056538, 6605146, 2564443, 7296784, 1081691, 7618355, 2375024, 6556161, 6182830, 3602327, 6469674, 3773523, 6640990, 5379743, 1221213, 1129513, 4256148, 1140739, 6895785, 8178432, 3580573, 6387914, 5879468, 3702169, 6930282, 4337075, 126423, 7509137, 2286267, 5870222, 2376601, 5636157, 486416, 1528269, 8238137, 690716, 125230, 4177472, 4455490, 6551702, 1094664, 8170975, 6038973, 1798725, 2266183, 4421544, 3745495, 1589438, 2209462, 683196, 562949, 3373443, 5523243, 2278510, 3634123, 1096873, 4354897, 3833135, 4074198, 3708176, 5291682, 6186250, 2618802, 784903, 2033446, 5349565, 5776766, 5773859, 1526788, 2865667, 7065941, 4745132, 2361343, 6739404, 6553048, 7230048, 5267036, 4333513, 6041431, 3679565, 5119172, 8254749, 1474373, 2147225, 4632197, 4911440, 5848353, 2159419, 3779115, 1189630, 2952582, 8158330, 2045331, 7518661, 2492137, 8282028, 4299057, 3945634, 7926723, 3682567, 5705511, 3832826, 5979923, 6594507, 2978021, 7446868, 6975703, 2051726, 3479711, 5465505, 7887014, 3890279, 8324546, 2645565, 4163469, 5766304, 7936625, 3535462, 5478593, 5301465, 3712566, 927666, 3179849, 2621833, 5002164, 7248770, 4961154, 3312120, 852237, 7544289, 3618226, 5028490, 1177451, 3145739, 6302583, 2428133, 638998, 6442058, 3274607, 4033375, 1860126, 6969395, 2787441, 3562126, 8277329, 7610340, 6438964, 8278098, 3790349, 5467719, 3864835, 5724003, 5779859, 6082964, 4474643, 6065859, 7322461, 3707243, 1379624, 332428, 8379773, 2534855, 4699514, 5398131, 2769315, 254640, 4062655, 7750574, 1192806, 5132466, 4328163, 2105880, 4126113, 5040662, 6964075, 3039282, 6055841, 7602131, 572322, 3086648, 3627090, 1424733, 1528581, 2587181, 1346346, 5868297, 4496993, 1793022, 1955944, 337847, 8332894, 2784202, 6417777, 1936981, 1080566, 7848397, 1975178, 6760730, 1622117],
[2744380, 6885347, 1807924, 6069657, 7723086, 1276461, 7935272, 1842025, 7671996, 1471838, 2361165, 5712832, 6416005, 4256156, 2086655, 6041978, 7850712, 4851604, 7559831, 678893, 6609593, 6073222, 1182874, 4529030, 7074413, 1931891, 2958056, 2685278, 417065, 1719000, 47644, 8330579, 5570086, 6731128, 8220977, 8261901, 4382921, 7621376, 3941220, 1436123, 2328952, 1354933, 626481, 5542504, 2895929, 6265126, 6388097, 5139464, 4275156, 2069742, 7711751, 4705238, 68367, 2347444, 469656, 6013861, 7038082, 5969354, 3314702, 4767341, 4697701, 294325, 4710633, 6229665, 8050292, 7047752, 8095673, 3078183, 1355153, 3375926, 153569, 6840664, 6022513, 2078728, 941657, 4566965, 4583905, 8232960, 3622648, 5082095, 114695, 7270847, 5136449, 2425557, 6942635, 5456918, 415750, 2666815, 2621574, 5434988, 5721325, 2349115, 2628654, 4263659, 8772, 2476564, 2676940, 3385835, 5030149, 7533732, 2216672, 1231655, 8290980, 2140180, 2373737, 2021093, 5831681, 8072098, 3759585, 15228, 5279575, 432116, 1864528, 3316975, 6050654, 3467488, 3236498, 7704966, 5308439, 628018, 1482417, 8125916, 3890683, 794067, 5054805, 2062884, 2190389, 4744112, 2199425, 4541677, 5153949, 4001737, 8124426, 6226275, 4216810, 3124784, 2918840, 6895211, 6824642, 7488678, 8288763, 7748465, 1235532, 2751768, 5125885, 1192492, 4502709, 5665763, 2126057, 4085649, 6968122, 2178470, 5528927, 4137036, 6996255, 1489783, 694168, 7897284, 210876, 2940707, 652578, 4693056, 2526938, 5241819, 4647592, 7677156, 1302759, 2447117, 1934616, 1971506, 6648280, 3985965, 151421, 7767099, 2729502, 2822210, 5552807, 156454, 5544069, 568747, 7341010, 6339284, 4488697, 1194494, 7121982, 6570666, 233960, 5248445, 1360166, 726666, 6903155, 8134003, 1302246, 3707545, 7482390, 4743619, 4193424, 5569901, 4457089, 2075983, 4936279, 6826067, 1997666, 8046950, 3242089, 3865359, 6215919, 2395351, 7812328, 144665, 5376732, 3695858, 2878804, 7275896, 5907420, 1774677, 556449, 2898797, 908702, 1599508, 2662061, 2503504, 7345944, 1233446, 7197611, 8029531, 2256787, 1307416, 5099849, 7162619, 6247379, 4132616, 4571826, 3707673, 3665605, 1175102, 6902652, 189897, 8059671, 6330144, 637736, 7586354, 4344975, 2149997, 21488, 6908531, 2491589, 6042183, 306410, 2393075, 7046117, 2009452, 3857207, 4266716, 4101380, 6804067]]

t0: [[1578, -404, -697, 1175, 2062, -2688, -1377, -816, -789, 1906, 345, 1407, 467, -665, -2820, 3878, -2013, -413, -675, -103, -1522, -3652, -3464, -690, -2309, 3874, -956, 2047, -2746, -834, -663, 4084, 3105, 2529, -2923, 1566, -1659, -4001, -3443, 2826, 3937, 2058, -3893, 261, -1354, 203, -557, -470, 1037, 2337, 845, -2916, -2558, 2273, -2314, 202, 3744, -2165, 3989, -2458, -2119, -896, 3068, 1135, 3317, -3882, -57, 2870, 3301, -3595, 2451, -2787, 2208, -580, -2237, -3690, 553, -209, -2513, -1681, -2890, -3607, 2815, 1854, 633, -521, 2961, -1581, -3959, 1418, -2666, -347, -3162, 3552, 2722, -3882, -1060, 1671, 903, 3519, -137, 1066, -2021, 831, -427, 836, 660, -1394, 2495, 437, 1171, -3941, -4031, 3163, 3302, 3661, 3293, -1108, 1720, 3692, -3254, 3788, -1388, 3647, -1936, 179, -2772, -2947, 1536, -2659, 1636, 1141, -3093, 1299, 3362, 1889, 339, 3588, 1022, -1681, -1273, -123, -1868, -875, 3314, -1853, -1312, 927, 703, 3000, -3606, 1734, 1062, -1632, 3989, -3160, 3456, 4073, 1542, -3849, 3006, -550, 3762, 946, 3363, 453, 2954, -2401, -2677, -1626, -1839, 2263, 1275, -2757, 1474, -2701, -1177, -1196, -554, -326, -18, -1114, 892, -1444, -1920, -4036, 712, -820, 2248, 3452, 1425, -3494, -3287, -646, -1383, -1390, -3881, -2027, 1513, 356, -26, 1914, 3388, 1991, 3422, 2697, 3589, 1080, 829, 690, -1150, -3528, -2084, 2414, -745, -3143, -3288, 762, -3628, -2193, -3605, -2557, 2119, -3668, -3388, 3185, -769, 1604, -3279, 2174, 2497, 2406, 1275, -403, -1209, -666, 2803, -2036, -1958, 1054, -94, 783, 2877, 1015, 2399, 3961, 3973, 754, -3310, -340, 2643, 3918, -2471, 2220, -4019, -2174],
[441, 1662, 424, 3669, 104, -2116, -3204, 1216, 2814, -1935, -962, -3429, -3680, -8, 1769, 2405, 2469, -3357, 330, 1151, 2380, -3509, 3340, -1408, 487, 877, -2049, -2596, -2101, 1518, 1376, 767, -1520, -1693, -1802, -3596, -3442, -1730, -722, 3825, -1146, 2694, 1884, -2741, -3642, -4011, 1972, 3656, 1347, 3092, 1809, -2010, 1395, -228, -3548, -2360, 285, -213, 2753, 2426, -3732, -4085, -1399, 2591, -3914, 2793, 2170, -2282, 469, 2351, -1536, 310, -329, 2436, -1137, -166, -3550, -2828, -3596, -3392, 176, -2289, -2663, -3417, -4090, -2753, 2809, -2879, -1024, 877, -3414, -2031, 2769, -2518, 2395, 1472, 4049, 3999, 1134, -1669, -3511, 3250, -1697, 1044, -599, 2062, 3361, 1424, -3318, -3772, 630, -330, -2502, -102, -896, 31, -3638, -2257, -1679, -1103, 2161, 2545, 629, -861, 4048, -2878, 3333, 2801, 3236, 1018, -3278, 3326, 775, -852, 2764, 2621, 554, -2988, 2527, 1166, 3040, 3504, 2941, -633, -682, 3658, 3432, -1264, -279, -1291, 3763, -645, 4090, -1776, -1323, -3727, 1485, -370, 2789, -1371, -2658, -724, -485, 2901, -2000, 1130, 1325, 3579, 3646, 314, 2377, 1059, -660, 41, 1719, -3996, -1599, -1869, -2963, 3896, -2752, -3842, 3332, -3476, -3548, 1061, 812, -710, -2723, 1692, -466, 462, -3170, 3516, -220, -3850, -3891, -1977, -3347, 1289, 3423, 2671, 2638, 2990, 164, -1304, -3775, -3819, 3477, 2318, -1289, 3081, 379, -3647, -1842, -130, -895, -1864, 1235, -1725, 2868, -3106, -3307, 842, -2773, 900, -1710, -2897, 3787, 2348, 1520, -2612, -3153, -3014, 2340, 343, 2739, 172, -2594, -253, -3123, 2416, -2017, 2670, 2283, -1077, 2779, 3821, -27, -3704, -2868, -1367, 3253, -567, 87, 2796],
[-197, 144, -3112, -3470, 1, -3201, -1176, -3003, 2727, 1682, -3187, 2647, -708, 1308, 3737, 2326, 4077, -2508, -3615, 3899, 1482, 3316, -1004, 2383, -523, -2368, 2009, -943, 1848, 2850, 164, -2538, 465, 3041, -1238, 3895, 2845, 3635, 2264, -954, 240, -2126, 2170, 783, 2814, -3541, -2104, -3062, 581, -1048, -3919, 2245, -125, 3822, 4027, 1267, -2176, 346, 2394, 347, -2288, 347, -205, -656, 2561, -2130, -2153, -2006, -2989, -2722, -2401, 605, -983, -3692, 2051, -1879, 2816, 669, -1846, -2388, -615, -150, 3507, 3543, -2927, 699, -3442, 921, 61, 3088, -3635, -3015, 2588, 2350, -448, -958, -1898, -3064, 3551, 1469, -3515, -3001, -2136, 1751, 190, -2378, 3260, -2299, -1661, 1835, 1134, -3125, -855, -3247, -721, 2774, -2800, -350, 1290, -2638, -1529, 1830, 189, 1406, -1501, 3076, -1533, -3755, 1964, 2047, -2612, -552, -3488, -420, -55, 3927, 1357, -828, -2787, -187, 921, 3717, -3760, -735, -3269, 2603, 1790, 3462, -902, -2669, -1595, 1769, -84, -1743, -2910, -3133, -3833, 3879, -1030, -237, -53, -3867, 340, -3881, 3726, -1889, 1441, -1882, -921, 1474, -451, 1933, -864, -1423, -3482, -1855, 1241, 1590, 1970, 1353, 393, -3148, -1150, -3198, 2552, 269, -543, -2638, -1398, -2197, 11, 2935, 3301, 22, 3146, -2193, 2911, 542, -1997, 2161, -1394, 3409, -28, 52, -4014, -2547, 3655, -1789, -2205, -3693, -3692, 1811, 3779, -1187, -3733, 3368, -3444, -643, 3527, -2694, -397, 419, 688, -577, 942, -3226, -3918, 2787, 536, -2655, 2582, 875, 50, 1953, -45, -1118, -1736, -1966, -675, -3323, -1491, 2858, 2825, -415, -1026, -1944, 1975, 1630, -1078, 3441, 3669, -778, 461, 906, 2330, 101],
[60, 4067, -2508, -615, -1970, -1491, -2776, -1175, -3908, -2722, 1869, 3008, 1669, -3684, -2305, -3718, 2776, 1940, -1385, -1043, -1351, 2950, 3226, -1146, -3475, -1421, 744, -1698, -727, -1320, -1508, -685, -474, -2696, -3791, -3827, 201, 2816, 868, 2523, 2424, 3253, 3889, -3480, -4039, -1754, -1663, 3080, -1068, -2834, 3079, 3030, 2831, -3660, 2712, 933, 1154, -2614, -3058, -403, 3685, -587, 233, 3745, -2444, 2632, 1977, -2009, 3473, 822, -2079, 344, 1393, -2040, -423, 4021, -3615, 0, 1784, 3055, 7, -3649, 65, 725, 4011, 1046, -2042, -3777, 134, 3692, 3309, -1989, -978, 3819, 580, 2580, -1844, 2539, 261, -2908, -3360, 2855, 676, 2068, -1943, -2331, -1023, 2978, -543, -1156, 3927, -2060, -3248, -785, -3234, 2272, 658, -3706, 23, -2766, -335, -548, -517, -557, 341, -1500, 3125, 944, 3969, 3309, 1181, 4041, -2038, 355, -2070, 3632, 2488, -2453, 706, 1190, -1541, -1167, -1460, -744, -2307, -3540, -2891, -3101, -3863, -2159, -3270, -602, -673, 76, 287, -1161, -2152, 196, -2116, -221, -2782, -960, 3802, -1061, 2728, 1252, 231, -2291, 1304, -2766, -3624, -3539, 3965, 1083, 1566, -4030, -1369, 806, -1915, 3499, 978, -1324, -519, -1538, 3134, 682, -3608, -2627, 294, -2422, -2701, -653, -282, -3431, 3094, 451, -880, -659, 641, 3407, -3497, 2131, -1182, 2406, -1943, -1265, -1809, 3287, -2840, -2791, 2780, 1266, 3412, 1400, 988, -2987, -607, -1171, -610, 2068, -339, -3248, -2280, -3546, -3157, 1371, 3987, -3304, -3767, 2811, -3117, 3848, 690, -3303, 3781, 3646, -3204, 1481, -1257, -2272, -1240, 562, 3215, 3693, -3088, 2675, 1221, -3513, 3306, 1011, 997, 2412, -1225, -1316, -2812, -3485]]
t1: [[499, 396, 366, 227, 945, 959, 143, 146, 963, 81, 702, 629, 921, 587, 510, 885, 898, 534, 598, 982, 588, 490, 744, 917, 674, 991, 336, 727, 424, 37, 618, 508, 331, 984, 348, 187, 542, 787, 287, 35, 22, 671, 665, 174, 376, 647, 678, 910, 455, 837, 313, 306, 797, 383, 590, 390, 468, 369, 622, 932, 905, 116, 489, 3, 672, 999, 721, 890, 968, 301, 903, 296, 234, 271, 626, 515, 746, 606, 574, 417, 688, 1008, 779, 641, 233, 871, 122, 349, 96, 819, 71, 733, 31, 212, 350, 825, 611, 476, 749, 31, 53, 668, 370, 1, 794, 65, 21, 55, 110, 669, 627, 302, 617, 506, 815, 908, 89, 970, 833, 76, 724, 51, 852, 634, 272, 859, 211, 846, 854, 147, 314, 1000, 256, 383, 850, 915, 746, 748, 375, 467, 1009, 536, 474, 595, 678, 97, 913, 860, 1019, 769, 799, 1018, 173, 331, 85, 149, 280, 179, 392, 97, 636, 703, 253, 921, 220, 330, 252, 257, 78, 517, 736, 73, 887, 718, 989, 51, 474, 817, 421, 354, 400, 586, 916, 152, 752, 351, 718, 408, 66, 89, 868, 818, 570, 405, 716, 818, 352, 421, 328, 660, 17, 844, 372, 877, 640, 466, 607, 831, 120, 689, 980, 795, 247, 54, 755, 778, 433, 954, 280, 216, 305, 875, 292, 784, 257, 640, 636, 574, 294, 474, 691, 368, 366, 126, 342, 452, 91, 134, 351, 828, 122, 922, 862, 97, 174, 228, 514, 992, 986, 217, 330, 929, 814, 737, 262, 97],
[418, 470, 970, 893, 402, 516, 496, 401, 7, 306, 703, 709, 92, 911, 653, 321, 348, 75, 64, 856, 862, 617, 913, 204, 889, 0, 782, 232, 931, 178, 212, 77, 596, 811, 835, 678, 728, 758, 640, 222, 908, 395, 811, 52, 741, 984, 781, 695, 1006, 89, 24, 338, 277, 696, 139, 1001, 241, 750, 205, 415, 955, 707, 568, 91, 832, 168, 57, 617, 1002, 238, 954, 769, 713, 864, 49, 389, 228, 52, 404, 870, 103, 707, 845, 713, 930, 943, 791, 996, 736, 871, 832, 308, 107, 771, 507, 727, 422, 448, 159, 650, 380, 349, 713, 125, 334, 205, 141, 923, 688, 474, 22, 857, 580, 396, 730, 752, 741, 97, 512, 960, 108, 245, 528, 865, 930, 381, 487, 553, 317, 304, 138, 704, 84, 662, 690, 829, 981, 136, 499, 619, 605, 50, 644, 843, 432, 72, 15, 946, 601, 677, 970, 941, 418, 166, 97, 978, 903, 603, 878, 236, 261, 560, 410, 558, 457, 799, 721, 552, 15, 798, 42, 507, 306, 617, 956, 671, 724, 705, 125, 511, 483, 929, 101, 885, 585, 557, 239, 823, 367, 282, 767, 534, 491, 7, 276, 579, 95, 67, 403, 920, 236, 628, 670, 633, 688, 706, 373, 843, 728, 874, 686, 66, 733, 264, 920, 359, 856, 18, 455, 336, 702, 976, 661, 815, 1012, 744, 939, 854, 719, 796, 582, 937, 202, 894, 580, 27, 852, 95, 358, 152, 428, 789, 397, 944, 779, 845, 42, 342, 425, 462, 112, 293, 391, 63, 753, 89],
[157, 77, 246, 863, 382, 781, 805, 536, 108, 99, 74, 534, 501, 141, 655, 985, 278, 516, 644, 224, 738, 406, 824, 666, 267, 674, 162, 664, 205, 438, 858, 296, 278, 921, 944, 913, 622, 250, 188, 394, 858, 563, 163, 106, 106, 628, 339, 301, 794, 257, 211, 231, 205, 42, 849, 821, 640, 251, 806, 313, 891, 132, 930, 290, 800, 755, 440, 790, 461, 811, 657, 149, 138, 520, 139, 842, 998, 437, 780, 718, 452, 846, 529, 15, 917, 279, 717, 290, 688, 59, 187, 1006, 84, 15, 510, 544, 800, 134, 997, 737, 220, 277, 540, 457, 194, 270, 83, 69, 412, 674, 278, 444, 134, 532, 468, 497, 453, 646, 755, 320, 96, 248, 653, 705, 705, 186, 350, 863, 579, 288, 823, 800, 883, 643, 529, 737, 449, 625, 1008, 180, 262, 565, 600, 714, 264, 461, 145, 360, 996, 250, 918, 304, 1011, 525, 482, 968, 450, 696, 468, 730, 805, 364, 909, 852, 250, 425, 667, 963, 475, 1016, 323, 508, 704, 969, 432, 669, 647, 453, 113, 388, 320, 611, 885, 606, 404, 104, 921, 442, 614, 144, 384, 769, 296, 78, 786, 400, 492, 227, 851, 340, 435, 1010, 929, 786, 1011, 463, 667, 472, 699, 706, 743, 546, 740, 894, 453, 168, 41, 1023, 309, 574, 659, 338, 31, 496, 946, 146, 627, 528, 257, 504, 615, 850, 371, 739, 928, 70, 377, 443, 174, 187, 316, 164, 716, 549, 219, 239, 41, 1017, 340, 783, 236, 132, 958, 241, 825, 198],
[335, 840, 221, 741, 943, 156, 969, 225, 937, 180, 288, 697, 783, 520, 255, 738, 958, 592, 923, 83, 807, 741, 144, 553, 864, 236, 361, 328, 51, 210, 6, 1017, 680, 822, 1004, 1009, 535, 930, 481, 175, 284, 165, 76, 677, 354, 765, 780, 627, 522, 253, 941, 574, 8, 287, 57, 734, 859, 729, 405, 582, 573, 36, 575, 760, 983, 860, 988, 376, 165, 412, 19, 835, 735, 254, 115, 557, 560, 1005, 442, 620, 14, 888, 627, 296, 847, 666, 51, 326, 320, 663, 698, 287, 321, 520, 1, 302, 327, 413, 614, 920, 271, 150, 1012, 261, 290, 247, 712, 985, 459, 2, 644, 53, 228, 405, 739, 423, 395, 941, 648, 77, 181, 992, 475, 97, 617, 252, 267, 579, 268, 554, 629, 488, 992, 760, 515, 381, 356, 842, 833, 914, 1012, 946, 151, 336, 626, 146, 550, 692, 260, 499, 851, 266, 675, 505, 854, 182, 85, 964, 26, 359, 80, 573, 308, 640, 567, 937, 159, 299, 236, 241, 812, 487, 18, 948, 333, 345, 678, 19, 677, 69, 896, 774, 548, 146, 869, 802, 29, 641, 166, 89, 843, 993, 159, 453, 913, 579, 512, 680, 544, 253, 603, 833, 244, 982, 396, 472, 759, 292, 954, 18, 656, 451, 351, 888, 721, 217, 68, 354, 111, 195, 325, 306, 897, 151, 879, 980, 275, 160, 623, 874, 763, 504, 558, 453, 447, 143, 843, 23, 984, 773, 78, 926, 530, 262, 3, 843, 304, 738, 37, 292, 860, 245, 471, 521, 501, 831]]

tr: 75A821E4FF2B52A3AB3DDD0C77C3A9F96FCC9BE360C2B75C97D7F9DEC97D1BDDE028D36C4FE18093AF6C5794AD19F9FA090C19A76F05A7F3B930B11792A13A7A
pk: C8BEADEDC6DBA5BF3BECA52C67CEAFB4F3EBF84190B2CFA6BCA132883129A28BF331E6D638B1FFFE8824C347E16B9D992FE95FDD825B68A5F54CAA876EE5A27E0FD5B5A895A0267F4B61CFD52E1E4EFCD108167C9AA92B781D6AAAE3C7159D934C1DFFE5A461D4C5E526E989D391DE00A09E1FADDEC8B774384AEA3C24E780EA7AE96368B0C2BF70A0E99CAD475760CC7C44B71F50E355CE6372D7EE0735702A57001A0751C10D6E743AA74B69EAF732E359281F3413D4CE40B59E106D3D8DD3564FA213FA00FD25F5E4EAB27BD774F163A8DD94A6861139D7FB07FCB1FEAD2C55452518CD8258187CFEDA4FE6DC28C54F404E14086E12773BDBFD0CDAC55C9A589029493926F07EE52C66426441B6CC3A56C6ACCC60958614A511304D57DB804AF7E5CF78C44AFDC6F7D830AFC2B1E98E113631AD4D12C40101CAA78F2669372B5C6EF96115715B18F215CF7A68EE7518AE902320F8DA67A354E82E876B5018A259A77CDF9211085F6407C8F46BB15C3CDE68505C2D0104D65EA71939337903E0303AA3CB424D1354AE3CB4A9D8DA0BA8378C2FB6320DE562DFF0ADEE6781815415E1BA48FAF1B8DBCC67BB0F8BE31640A392439AEABBA37BC0C9821D4361E4D04099D9670CDB74B2A2BF7E31F9E09E0D344D6B0CBCDFB5A601F789A27C75956C1F4E35D3C8E6B06A6741D64432A62DBCE5860120F06CD40361D8A2F7755E8A3DC1A408B054582A6BCFD52332DF9A5DCA40E8D2B021F180EC5996AA7CEBA2991286F4876FE9363B05C1A8998BC97D1C2D8A0F78ACC27E32A5C9FBA7D406DBC77FE3855E46DD49B6F8CECD6F69F4AF85EB1D40D1905F0C3119E6ECD0E9699EB00A5BD7D2D8AAEDAA10DD2284F959584B701C54BE425FE9CBF4A3BBBAD5CF726C64EACAF84DE406547F611626AC55DC18EC0B37AD8255A93907474987FD106F169D3461CFD77E355C32866C8CA18485F535F268F61611482838E25A86B3A60B892A0AA6CDD8A6354A16650E7BE46EEAC38B625ACF388A1A6AD039554B1A0734CD39CDA81075CD80EE63724E7B1322BA4820CF8B9BC5CDAD1C69258A20B888D2E6D7C6B0B3C4391DE103955FD4AC48B0EEB08BFB543CE01F88201B527EB8DC54C46172C2383445119C896A116F8650485D7CC5193A2F5060E0D368B0C1EAE2D5D743827433C8730F1A61B8C1C5093F2D06D588A5B2083517095AE4EB63394CF337281EF2C2E14A9DB625B3D538D5FAA4B6E9F0DBE13F147FC0260F5BA78716170761408D59B79794A191B96E66420258C02839213164EC8D333555B3C91FBAC4F33FB72976BB0A7BAE88E4FA5D1C2A29FC5F938F934AF5017CB24B32278401E177A6D4738D0BBA1179EDE6CA2E3C91C26C89DBBC9342FE543DCC0E21BEC793B3314F21DD4DB9AF73927C38A9D30252AE0F23F88FB8BE43B9F91427970B498A60B393165233486340FEA8DACC7EFC178A1EDE2B1C95C244A962F5CBF09C0AF6D3BA8F087C9483B75B675B99913D92F023BED773CD3D5EA57036C1D0DFFA33478B30B6AF1B9B0EE03D274A4F6B3A8351405DAAEB47412118804B47756626E60F59427F4122DD836CF6CB0940680DE45436EE698BB58E6813B580BF5D1869F2B3D0900CA958277AE0E33B605F64291DB4E4F4CB7E0954724A6222AD04CD37B542A3E667B52D5510AFC15950F44813A037A6FEC94AECC4C3F27912D0DE5456A64E506A11801B4CA224658BDC41A0A664B174F89F1417F99000A20A623F5B064D8FF58C61772F49BA4B00E9705FE11D6D364488F5C63045C914F8256F533F11286FAABD2F7E2E16F7DB234B5F807DC14E782EA141032C0D93B82590C4753DD72558DFCF
sk: C8BEADEDC6DBA5BF3BECA52C67CEAFB4F3EBF84190B2CFA6BCA132883129A28BB149C045A55EADA0C519069A8EE0602FBEDA8D2EDFEA09CAE01D542D47DCBA1E75A821E4FF2B52A3AB3DDD0C77C3A9F96FCC9BE360C2B75C97D7F9DEC97D1BDDE028D36C4FE18093AF6C5794AD19F9FA090C19A76F05A7F3B930B11792A13A7A5CC0014B440814300C2225826042718A40620C25418B381163006402848DC0C07123434C0C80052323101BA54CE08051CB18440009100894291047281290292495652229722017210C2426990466610221002088DA926C4C2664E43822A4148689244809B4494B844D124270E1328024923009228854A849C14842882609941686C0104910B84101222504972911B28CE2202C83148E0BA72058C209D9848CCB129124C444D2320264002DCBB408D4C60121464AD430101904420B444D14B6881A85655C08085B284112080C10B48863A26D82384DD9042221412DA4A29084C62D0A228E42C000123524DB448423C1081997401AC25090B465D19241403012D8922814328499188E8A92851A1590634292E0282A43208C2049881083841A144D22004209096C4C4871618661222104A1C02D42484564488420826D802064043900E2306C138948E0802980160E0830420A1044024888A3122493A28DC8420D04438501207292381014B16089060C603230CC222AA0C0650047420C8040103331C9948191C26148846C020580E4886D8036208CB069D9104C10066258242A4834444430400316125A90649B4691408060A00690CC04089A86256336888C4266028965D2346060B80002341220090D0C100219363152A24093488ED2B601E2C820508249CB440D88882D601809A4986962B461D4C060C4206953408C2004229482095AA04D813645DB106E23824D14454120368010130E1A018109C010A2080CD2820D0B0200090352DB3265D3268DC41642001961188230C1C870A4A46DD9A851E2180462108E62240D9AC805CA026552986D5196205820104AB26D149301D9264C0C4905524071422660D4A40CDB844CCCB6215C36710C208159060C9C9868498080C3264913894D1AC26112C77010C73113108D4A082903B65150B490603262419251C8B088C8388DD8362C4A126C62302598A8088A48899C94900401069238401B1564E2A02DC8949041826024A270932006111005C82248C9988C8004219C98891A914442A21112426A0338699424528A107114A424CC206913932D8C0820D68932E6CAB4257F007558859915D3119DBA40D5E23225C1D606DDB7338ECA33285F893C62979505D91BF0CE00A4AB85E6A56400DFE3C3AC6DF1B46743FF5CB7279FC0FED4FC7DA7546B5E8BB48EF3EBDBCC32B2ED9F3F8E42B67960A10EAF01CD7C84012701895C0B43E5E74065B231167C9B19D7608748F662357FDDA261748EB44AFBC207146174D812E41B69B177DF4EA9E9ADA8C541845751F924342FE5B1209108AD57F90D66AB9197B135B91A64965CDB2AFBBFBF74688CD93032A82852A20CB69C26B0D5E000799B1EB51EDC006A4C73A6C555C1DB95B7F844AD8E3F08B0489B4FF720D35D9B0EA3E782D43016D4908885D749DA0BCCAE012C0E282E807E4AF842C4443A0527D62D769C1D09CB755ACBBEDC9453B08AB58F6AD4999495AA48A32801B5282123AD8097F8E3349A897308C59B32EDD7DC509E55B79AF2D7EF85E2741AD010118B1C242AEECA7E405EC3CCA9F951E44E82254DBA3CE2D8DCA0B1F8485CE1FB73EEA1F23CFD71044CDEF4CC05CF8FD134056B32E6524DD950E8AFE9155F5E309E0D9304166A0EC11E7068EE9C2AB61659709AA9CEECF7C3474E3061B9D580F9883021075A02E5F10ACFB20EE611E045DA345BA6A3DBBAC0456B6A3BBD00AC196E920560125D832514A80A68F0B5D32A5C062FD785ADB47C087A54AF90A25AADE3573F13C20DBD8A7DBC23EDDBA8C82177C7C9E3AE1AFE144343E9EBFF5D0D2F4AFFA2181E75BCE2A20D8055764991CFC45153E8DD19368307EA502F1E9FE9ACAEFF83F541F9D900749259F5F7FB52AC73A901522F200C48AE427BDB9D46A8655F5752FE7C0B3865CF79BD62538AC6D90C02CEF067E3A3F1A37DA28FE7C12CB6AE09037CF6BE78285CC38039738191CFA8264D192ED68D758718B90542A0C420C993AAD236600A787A11176A5328940600DEAED4473FA3E4E246D9AA629A5A96C755027D2DD7B42A10C2C1D8DD9AEE4529AF5F52E2FC3FB6E94E6E6400AC053EBFA0ECDC7D7B51336339AAC992749471629C487043853FF373EF44BF57A122B2C81629C2F530EAAF5FF76B42DE24D4FB51E87EBCCC15847F13E9B6AC5ECB4C44F83AB765D59A8FB9DAA85D13A80D84A2D151DC78739B54D754A89E88EE87331CD2845FC952716A684999081B10CFD3ECABBA346E64EAA328C510EEA170C7FEFF023926DDDD59C52DCDF1D4422CC9D55950371380397FF86260A31806FB8C350B12289FA0D7898CBC09D753CF2FEE8358D364304E9A03CAD19D10CF091B9E782650AA3B0EB6DFBB0D833EFD9DD307254211685880D8D4999A52078F4B5D338494FF450AA761EBDBBA4575581E6DD793CDF79FAB0B50C69ACDA5CA67D212368914F1B68B9A5C3F63C30F7ECCF8E34D5EA40D70F49D6A177F878821B5DB7337164E49424F29138D7DDC67AB91E4AAE157F395474B9502AFBDA2BD72D2F9551B0D3D41D55DF9477F5DF5542800D1681409DA49E30D4C05B38A678EEB5D78C6F602ACFF96C5BCBA08243D6138DBF48EBD4854F0D97AED1E9EEFB381016D873570E3B3BA942F17C2EE97D2BA99D3470DC73904361FAB66FFB9274B3939A15B75E798B81FF5E30866DE7D48276D572B71FD4B241B43FDD98E481C4AC45BF37D3C72F5557040E6E7FAE7736EE8B79DB8CDB3F976D4134669A5C716747D50E60843DD18BB1C540B92524C933BFD8E82DEBEB47AA964CEEF0BB5402F8A6C5DEFA8DCE7D3D59ADC93CF2840316F12124D36F451AC068539E3EC98B9D97CC4AF0330E733297BA72BB6BEA4445F54CF2220B297C87C4036F428850DA5D5097A54F588D9D0A393BDB16234517B2D512A796D95DA11513FFB797FF3000A272B318866693C03CC7EFCB5ED9FC51F2C5462E70F15124F983C5AD9627ECB46CBEFC9B81996E4C5FB0A8C19B71CA1ECFB2694D90746758F0AFF9EC625F0E10120428A20F92FC8FFBE955605D497FE0DF67A8F324C8CE22B3D2B026F632F34B7C2EC3BAE0DD2B30957633F977723FF4F2FF22109692A60C0B03C628A7290E3D6F47CFA73D64F914416C816B9EAB8EBF280627F60628CAD1B607F3B9D05860E48A632FB34AD55601F296D45970399BA2FED0E7EF1DFB031D792A192F685BB448A86791E11EE86DE1A789A84128A553856C69BC7E8CA59A3F8E93E088A9778F2FD59559BEDDD2AE1C258EA8114B0C2C3AA61F821ADEDEC72A36E941AF1ACAB8F1E073727E55F8B15A9BDF578524D7379E369C44D1918FB5C931487C52A1015095BDD5F72928A49F6331561393AD6EE55BC54B501747EEB0B4A0BC7074EED9CEF04E140C86F543A05C7D8D4B9C58DC900C11BCBCECAED16A3816D304A934C492ABFEEEC
